diff options
Diffstat (limited to 'pkgs/applications/science')
-rw-r--r-- | pkgs/applications/science/logic/prover9/default.nix | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/pkgs/applications/science/logic/prover9/default.nix b/pkgs/applications/science/logic/prover9/default.nix index 2f57fca972974..677c11d3749eb 100644 --- a/pkgs/applications/science/logic/prover9/default.nix +++ b/pkgs/applications/science/logic/prover9/default.nix @@ -11,7 +11,7 @@ stdenv.mkDerivation { hardeningDisable = [ "format" ]; - patchPhase = '' + postPatch = '' RM=$(type -tp rm) MV=$(type -tp mv) CP=$(type -tp cp) @@ -31,16 +31,16 @@ stdenv.mkDerivation { cp bin/* $out/bin ''; - meta = { + meta = with lib; { homepage = "https://www.cs.unm.edu/~mccune/mace4/"; - license = "GPL"; + license = license.gpl; description = "Automated theorem prover for first-order and equational logic"; longDescription = '' Prover9 is a resolution/paramodulation automated theorem prover for first-order and equational logic. Prover9 is a successor of the Otter Prover. This is the LADR command-line version. ''; - platforms = lib.platforms.linux; - maintainers = [ ]; + platforms = platforms.linux; + maintainers = with maintainers; [ ]; }; } |