diff options
Diffstat (limited to 'pkgs/applications/science/logic')
18 files changed, 18 insertions, 18 deletions
diff --git a/pkgs/applications/science/logic/abc/default.nix b/pkgs/applications/science/logic/abc/default.nix index fd50fc825a06..c832d12627a0 100644 --- a/pkgs/applications/science/logic/abc/default.nix +++ b/pkgs/applications/science/logic/abc/default.nix @@ -1,6 +1,6 @@ { fetchFromGitHub, stdenv, readline, cmake }: -stdenv.mkDerivation rec { +stdenv.mkDerivation { pname = "abc-verifier"; version = "2018-07-08"; diff --git a/pkgs/applications/science/logic/aspino/default.nix b/pkgs/applications/science/logic/aspino/default.nix index bf8d3cf03b83..d6190942efab 100644 --- a/pkgs/applications/science/logic/aspino/default.nix +++ b/pkgs/applications/science/logic/aspino/default.nix @@ -7,7 +7,7 @@ let }; in -stdenv.mkDerivation rec { +stdenv.mkDerivation { name = "aspino-unstable-2017-03-09"; src = fetchFromGitHub { diff --git a/pkgs/applications/science/logic/avy/default.nix b/pkgs/applications/science/logic/avy/default.nix index 668fd9fea72d..9b59828ddab7 100644 --- a/pkgs/applications/science/logic/avy/default.nix +++ b/pkgs/applications/science/logic/avy/default.nix @@ -1,6 +1,6 @@ { stdenv, fetchgit, cmake, zlib, boost }: -stdenv.mkDerivation rec { +stdenv.mkDerivation { pname = "avy"; version = "2017.10.16"; diff --git a/pkgs/applications/science/logic/btor2tools/default.nix b/pkgs/applications/science/logic/btor2tools/default.nix index 9d6c866faea3..2d00e9f30464 100644 --- a/pkgs/applications/science/logic/btor2tools/default.nix +++ b/pkgs/applications/science/logic/btor2tools/default.nix @@ -1,6 +1,6 @@ { stdenv, fetchFromGitHub }: -stdenv.mkDerivation rec { +stdenv.mkDerivation { pname = "btor2tools"; version = "pre55_8c150b39"; diff --git a/pkgs/applications/science/logic/clprover/clprover.nix b/pkgs/applications/science/logic/clprover/clprover.nix index e2f48b340292..0319069660ed 100644 --- a/pkgs/applications/science/logic/clprover/clprover.nix +++ b/pkgs/applications/science/logic/clprover/clprover.nix @@ -1,6 +1,6 @@ { stdenv, fetchzip }: -stdenv.mkDerivation rec { +stdenv.mkDerivation { pname = "clprover"; version = "1.0.3"; diff --git a/pkgs/applications/science/logic/drat-trim/default.nix b/pkgs/applications/science/logic/drat-trim/default.nix index 50454847baf1..4c4ea0f14ce1 100644 --- a/pkgs/applications/science/logic/drat-trim/default.nix +++ b/pkgs/applications/science/logic/drat-trim/default.nix @@ -1,6 +1,6 @@ { stdenv, fetchFromGitHub }: -stdenv.mkDerivation rec { +stdenv.mkDerivation { name = "drat-trim-2017-08-31"; src = fetchFromGitHub { diff --git a/pkgs/applications/science/logic/fast-downward/default.nix b/pkgs/applications/science/logic/fast-downward/default.nix index 21ce6be3e6c1..ed757e444b7c 100644 --- a/pkgs/applications/science/logic/fast-downward/default.nix +++ b/pkgs/applications/science/logic/fast-downward/default.nix @@ -1,6 +1,6 @@ { stdenv, lib, fetchhg, cmake, which, python3, osi, cplex }: -stdenv.mkDerivation rec { +stdenv.mkDerivation { name = "fast-downward-2019-05-13"; src = fetchhg { diff --git a/pkgs/applications/science/logic/lean2/default.nix b/pkgs/applications/science/logic/lean2/default.nix index 22177798647b..8cc50bb5e295 100644 --- a/pkgs/applications/science/logic/lean2/default.nix +++ b/pkgs/applications/science/logic/lean2/default.nix @@ -1,7 +1,7 @@ { stdenv, fetchFromGitHub, cmake, gmp, mpfr, python , gperftools, ninja, makeWrapper }: -stdenv.mkDerivation rec { +stdenv.mkDerivation { pname = "lean2"; version = "2017-07-22"; diff --git a/pkgs/applications/science/logic/lingeling/default.nix b/pkgs/applications/science/logic/lingeling/default.nix index dbd34f1da6e6..287dbd36eabf 100644 --- a/pkgs/applications/science/logic/lingeling/default.nix +++ b/pkgs/applications/science/logic/lingeling/default.nix @@ -2,7 +2,7 @@ , aiger }: -stdenv.mkDerivation rec { +stdenv.mkDerivation { pname = "lingeling"; # This is the version used in satcomp2018, which was # relicensed, and also known as version 'bcj' diff --git a/pkgs/applications/science/logic/metis-prover/default.nix b/pkgs/applications/science/logic/metis-prover/default.nix index 7e46dbeb0743..ed1218c401b3 100644 --- a/pkgs/applications/science/logic/metis-prover/default.nix +++ b/pkgs/applications/science/logic/metis-prover/default.nix @@ -1,6 +1,6 @@ { stdenv, fetchFromGitHub, perl, mlton }: -stdenv.mkDerivation rec { +stdenv.mkDerivation { pname = "metis-prover"; version = "2.3.20160713"; diff --git a/pkgs/applications/science/logic/minisat/unstable.nix b/pkgs/applications/science/logic/minisat/unstable.nix index f1a42f8215e3..ef46c694acb7 100644 --- a/pkgs/applications/science/logic/minisat/unstable.nix +++ b/pkgs/applications/science/logic/minisat/unstable.nix @@ -1,6 +1,6 @@ { stdenv, fetchFromGitHub, zlib, cmake }: -stdenv.mkDerivation rec { +stdenv.mkDerivation { name = "minisat-unstable-2013-09-25"; src = fetchFromGitHub { diff --git a/pkgs/applications/science/logic/monosat/default.nix b/pkgs/applications/science/logic/monosat/default.nix index 54bedc7c5e97..30d47687a3eb 100644 --- a/pkgs/applications/science/logic/monosat/default.nix +++ b/pkgs/applications/science/logic/monosat/default.nix @@ -20,7 +20,7 @@ let inherit rev sha256; }; - core = stdenv.mkDerivation rec { + core = stdenv.mkDerivation { name = "${pname}-${version}"; inherit src; buildInputs = [ cmake zlib gmp jdk8 ]; diff --git a/pkgs/applications/science/logic/open-wbo/default.nix b/pkgs/applications/science/logic/open-wbo/default.nix index 48546a86112b..32ce9fde0c31 100644 --- a/pkgs/applications/science/logic/open-wbo/default.nix +++ b/pkgs/applications/science/logic/open-wbo/default.nix @@ -1,6 +1,6 @@ { stdenv, fetchFromGitHub, zlib, gmp }: -stdenv.mkDerivation rec { +stdenv.mkDerivation { name = "open-wbo-2.0"; src = fetchFromGitHub { diff --git a/pkgs/applications/science/logic/saw-tools/default.nix b/pkgs/applications/science/logic/saw-tools/default.nix index 3f8305ff4030..d357bef2c7a0 100644 --- a/pkgs/applications/science/logic/saw-tools/default.nix +++ b/pkgs/applications/science/logic/saw-tools/default.nix @@ -22,7 +22,7 @@ let sha256 = "07gyf319v6ama6n1aj96403as04bixi8mbisfy7f7va689zklflr"; }; in -stdenv.mkDerivation rec { +stdenv.mkDerivation { pname = "saw-tools"; version = "0.1.1-20150731"; diff --git a/pkgs/applications/science/logic/spass/default.nix b/pkgs/applications/science/logic/spass/default.nix index 2645aa102d92..ece6f0b9f6a8 100644 --- a/pkgs/applications/science/logic/spass/default.nix +++ b/pkgs/applications/science/logic/spass/default.nix @@ -8,7 +8,7 @@ let + " dfg2ascii dfg2dfg tptp2dfg dimacs2dfg pgen rescmp"; in -stdenv.mkDerivation rec { +stdenv.mkDerivation { pname = "spass"; version = "${baseVersion}.${minorVersion}"; diff --git a/pkgs/applications/science/logic/symbiyosys/default.nix b/pkgs/applications/science/logic/symbiyosys/default.nix index 58674a4cacf2..a5be51a6025a 100644 --- a/pkgs/applications/science/logic/symbiyosys/default.nix +++ b/pkgs/applications/science/logic/symbiyosys/default.nix @@ -1,6 +1,6 @@ { stdenv, fetchFromGitHub, yosys, bash, python3 }: -stdenv.mkDerivation rec { +stdenv.mkDerivation { pname = "symbiyosys"; version = "2019.08.13"; diff --git a/pkgs/applications/science/logic/verit/default.nix b/pkgs/applications/science/logic/verit/default.nix index a04ab46c669b..2c68191b800e 100644 --- a/pkgs/applications/science/logic/verit/default.nix +++ b/pkgs/applications/science/logic/verit/default.nix @@ -1,6 +1,6 @@ { stdenv, fetchurl, autoreconfHook, gmp, flex, bison }: -stdenv.mkDerivation rec { +stdenv.mkDerivation { pname = "veriT"; version = "2016"; diff --git a/pkgs/applications/science/logic/why3/default.nix b/pkgs/applications/science/logic/why3/default.nix index 3cb14d7da21e..6f338f214783 100644 --- a/pkgs/applications/science/logic/why3/default.nix +++ b/pkgs/applications/science/logic/why3/default.nix @@ -1,7 +1,7 @@ { callPackage, fetchurl, stdenv , ocamlPackages, coqPackages, rubber, hevea, emacs }: -stdenv.mkDerivation rec { +stdenv.mkDerivation { pname = "why3"; version = "1.2.0"; |