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

Correct license

Browse Source
This commit is contained in:
sohalt 2020-05-10 00:49:56 +02:00
parent 9ec71eb051
commit 7bf616dd77
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/applications/science/logic/isabelle/default.nix
View File

@ -66,7 +66,7 @@ stdenv.mkDerivation rec {
bin/isabelle install $out/bin
'';
meta = {
meta = with stdenv.lib; {
description = "A generic proof assistant";
longDescription = ''
@ -75,8 +75,8 @@ stdenv.mkDerivation rec {
formulas in a logical calculus.
'';
homepage = "https://isabelle.in.tum.de/";
license = "LGPL";
maintainers = [ stdenv.lib.maintainers.jwiegley ];
platforms = stdenv.lib.platforms.linux;
license = licenses.bsd3;
maintainers = [ lib.maintainers.jwiegley ];
platforms = platforms.linux;
};
}