forked from mirrors/nixpkgs
pkgs/applications/science/logic/prover9: updated homepage and license
svn path=/nixpkgs/trunk/; revision=23447
This commit is contained in:
parent
340d4a6ddd
commit
403938b004
|
@ -29,8 +29,8 @@ stdenv.mkDerivation {
|
||||||
'';
|
'';
|
||||||
|
|
||||||
meta = {
|
meta = {
|
||||||
homepage = "http://hol.sourceforge.net/";
|
homepage = "http://www.cs.unm.edu/~mccune/mace4/";
|
||||||
license = "BSD";
|
license = "GPL";
|
||||||
description = "Prover9 is an automated theorem prover for first-order and equational logic."
|
description = "Prover9 is an automated theorem prover for first-order and equational logic."
|
||||||
|
|
||||||
longDescription = ''
|
longDescription = ''
|
||||||
|
|
Loading…
Reference in a new issue