diff options
author | John Wiegley <johnw@newartisans.com> | 2016-12-13 07:14:22 -0800 |
---|---|---|
committer | John Wiegley <johnw@newartisans.com> | 2016-12-13 07:27:15 -0800 |
commit | 360234dab6b22d9f05821369a43c10b5faea3b79 (patch) | |
tree | 92560acae202799a083efef45faa1eb5de7a5b18 /pkgs/top-level/all-packages.nix | |
parent | 6c226b1e7ac4f699dfc46a1fd38d59af6efb2c2a (diff) | |
download | nixlib-360234dab6b22d9f05821369a43c10b5faea3b79.tar nixlib-360234dab6b22d9f05821369a43c10b5faea3b79.tar.gz nixlib-360234dab6b22d9f05821369a43c10b5faea3b79.tar.bz2 nixlib-360234dab6b22d9f05821369a43c10b5faea3b79.tar.lz nixlib-360234dab6b22d9f05821369a43c10b5faea3b79.tar.xz nixlib-360234dab6b22d9f05821369a43c10b5faea3b79.tar.zst nixlib-360234dab6b22d9f05821369a43c10b5faea3b79.zip |
coq_8_6: new package, based on Coq 8.6rc1
Diffstat (limited to 'pkgs/top-level/all-packages.nix')
-rw-r--r-- | pkgs/top-level/all-packages.nix | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 1f16ceeddb8e..23f904f450a1 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -16682,6 +16682,11 @@ in camlp5 = ocamlPackages.camlp5_transitional; }; + coq_8_6 = callPackage ../applications/science/logic/coq/8.6.nix { + inherit (ocamlPackages) ocaml findlib lablgtk; + camlp5 = ocamlPackages.camlp5_transitional; + }; + coq_8_5 = callPackage ../applications/science/logic/coq/8.5.nix { inherit (ocamlPackages) ocaml findlib lablgtk; camlp5 = ocamlPackages.camlp5_transitional; @@ -16765,8 +16770,29 @@ in }; + mkCoqPackages_8_6 = self: let callPackage = newScope self; in rec { + + inherit callPackage; + + coq = coq_8_6; + + coq-ext-lib = callPackage ../development/coq-modules/coq-ext-lib {}; + + coquelicot = callPackage ../development/coq-modules/coquelicot {}; + + dpdgraph = callPackage ../development/coq-modules/dpdgraph {}; + + flocq = callPackage ../development/coq-modules/flocq {}; + + interval = callPackage ../development/coq-modules/interval {}; + + fiat_HEAD = callPackage ../development/coq-modules/fiat/HEAD.nix {}; + + }; + coqPackages = mkCoqPackages_8_4 coqPackages; coqPackages_8_5 = mkCoqPackages_8_5 coqPackages_8_5; + coqPackages_8_6 = mkCoqPackages_8_6 coqPackages_8_6; cryptoverif = callPackage ../applications/science/logic/cryptoverif { }; |