public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

prooftree: add license

Browse Source
This commit is contained in:
Markus Kowalewski 2018-09-08 14:44:43 +02:00
parent 2ed07fdb2b
commit 258c202565
No known key found for this signature in database
GPG Key ID: D865C8A91D7025EB
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
pkgs/applications/science/logic/prooftree/default.nix
View File

@ -15,7 +15,7 @@ stdenv.mkDerivation (rec {
dontAddPrefix = true; dontAddPrefix = true;
configureFlags = [ "--prefix" "$(out)" ]; configureFlags = [ "--prefix" "$(out)" ];
meta = { meta = with stdenv.lib; {
description = "A program for proof-tree visualization"; description = "A program for proof-tree visualization";
longDescription = '' longDescription = ''
Prooftree is a program for proof-tree visualization during interactive Prooftree is a program for proof-tree visualization during interactive
@ -35,7 +35,8 @@ stdenv.mkDerivation (rec {
shift-click). shift-click).
''; '';
homepage = http://askra.de/software/prooftree; homepage = http://askra.de/software/prooftree;
platforms = stdenv.lib.platforms.unix; platforms = platforms.unix;
maintainers = [ stdenv.lib.maintainers.jwiegley ]; maintainers = [ maintainers.jwiegley ];
license = licenses.gpl3;
}; };
}) })