diff options
Diffstat (limited to 'pkgs/applications/science/logic/prover9/default.nix')
-rw-r--r-- | pkgs/applications/science/logic/prover9/default.nix | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/prover9/default.nix b/pkgs/applications/science/logic/prover9/default.nix index 7fedca72b6980..2f57fca972974 100644 --- a/pkgs/applications/science/logic/prover9/default.nix +++ b/pkgs/applications/science/logic/prover9/default.nix @@ -1,7 +1,8 @@ -{lib, stdenv, fetchurl}: +{ lib, stdenv, fetchurl }: stdenv.mkDerivation { - name = "prover9-2009-11a"; + pname = "prover9"; + version = "2009-11a"; src = fetchurl { url = "https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz"; @@ -40,6 +41,6 @@ stdenv.mkDerivation { the Otter Prover. This is the LADR command-line version. ''; platforms = lib.platforms.linux; - maintainers = []; + maintainers = [ ]; }; } |