diff options
| author | Peter Simons <simons@cryp.to> | 2010-08-26 11:42:41 +0000 |
|---|---|---|
| committer | Peter Simons <simons@cryp.to> | 2010-08-26 11:42:41 +0000 |
| commit | 403938b0043b56a019283a2ef1c4c668783744be (patch) | |
| tree | ff84e23426356d1f2c0ea2ea3ae8fce4ea134496 /pkgs/applications/science/logic | |
| parent | 340d4a6ddd7cb4812a618a22bb047e1554a33a28 (diff) | |
| download | nixlib-403938b0043b56a019283a2ef1c4c668783744be.tar nixlib-403938b0043b56a019283a2ef1c4c668783744be.tar.gz nixlib-403938b0043b56a019283a2ef1c4c668783744be.tar.bz2 nixlib-403938b0043b56a019283a2ef1c4c668783744be.tar.lz nixlib-403938b0043b56a019283a2ef1c4c668783744be.tar.xz nixlib-403938b0043b56a019283a2ef1c4c668783744be.tar.zst nixlib-403938b0043b56a019283a2ef1c4c668783744be.zip | |
pkgs/applications/science/logic/prover9: updated homepage and license
svn path=/nixpkgs/trunk/; revision=23447
Diffstat (limited to 'pkgs/applications/science/logic')
| -rw-r--r-- | pkgs/applications/science/logic/prover9/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/prover9/default.nix b/pkgs/applications/science/logic/prover9/default.nix index b1890e646542..5ef7e721a8f2 100644 --- a/pkgs/applications/science/logic/prover9/default.nix +++ b/pkgs/applications/science/logic/prover9/default.nix @@ -29,8 +29,8 @@ stdenv.mkDerivation { ''; meta = { - homepage = "http://hol.sourceforge.net/"; - license = "BSD"; + homepage = "http://www.cs.unm.edu/~mccune/mace4/"; + license = "GPL"; description = "Prover9 is an automated theorem prover for first-order and equational logic." longDescription = '' |