diff options
author | Sandro Jäckel <sandro.jaeckel@gmail.com> | 2021-11-09 10:20:48 +0100 |
---|---|---|
committer | Sandro Jäckel <sandro.jaeckel@gmail.com> | 2021-11-09 20:10:30 +0100 |
commit | 11c55d061ece63f8346eff7dcea269b1be8fb99b (patch) | |
tree | fc57e3cafeb32893cbe479b98a127106b5e2c6df /pkgs/applications | |
parent | c135faf682cac7851dea181ab975b1ec38673c6c (diff) |
prover9: convert patchPhase to postPatch, cleanup meta
Diffstat (limited to 'pkgs/applications')
-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; [ ]; }; } |