@ -33,7 +33,7 @@ stdenv.mkDerivation {
meta = with lib; {
homepage = "https://www.cs.unm.edu/~mccune/mace4/";
license = license.gpl;
license = licenses.gpl1;
description = "Automated theorem prover for first-order and equational logic";
longDescription = ''
Prover9 is a resolution/paramodulation automated theorem prover