diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-09-06 14:45:23 +0200 |
---|---|---|
committer | vbgl <vbgl@users.noreply.github.com> | 2017-09-06 21:16:41 +0200 |
commit | 9efd7a9b6eac19c5d782e3c4d53c78a8228a1200 (patch) | |
tree | 05204078485e23855e41e04ac619be3ce678be00 /pkgs | |
parent | a26bbe547e27048dcdfe87da38777514089f479d (diff) | |
download | nixpkgs-9efd7a9b6eac19c5d782e3c4d53c78a8228a1200.tar nixpkgs-9efd7a9b6eac19c5d782e3c4d53c78a8228a1200.tar.gz nixpkgs-9efd7a9b6eac19c5d782e3c4d53c78a8228a1200.tar.bz2 nixpkgs-9efd7a9b6eac19c5d782e3c4d53c78a8228a1200.tar.lz nixpkgs-9efd7a9b6eac19c5d782e3c4d53c78a8228a1200.tar.xz nixpkgs-9efd7a9b6eac19c5d782e3c4d53c78a8228a1200.tar.zst nixpkgs-9efd7a9b6eac19c5d782e3c4d53c78a8228a1200.zip |
coq_8_7: init at 8.7+beta1
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/applications/science/logic/coq/default.nix | 1 | ||||
-rw-r--r-- | pkgs/top-level/all-packages.nix | 3 |
2 files changed, 4 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/coq/default.nix b/pkgs/applications/science/logic/coq/default.nix index b4181e0c426..7378aedc1be 100644 --- a/pkgs/applications/science/logic/coq/default.nix +++ b/pkgs/applications/science/logic/coq/default.nix @@ -19,6 +19,7 @@ let "8.5pl3" = "15c3rdk59nifzihsp97z4vjxis5xmsnrvpb86qiazj143z2fmdgw"; "8.6" = "148mb48zpdax56c0blfi7v67lx014lnmrvxxasi28hsibyz2lvg4"; "8.6.1" = "0llrxcxwy5j87vbbjnisw42rfw1n1pm5602ssx64xaxx3k176g6l"; + "8.7+beta1" = "006rn5896pf39p4z9c6d4xj4zm80j4b67v5gwcixd63msrjqkmxp"; }."${version}"; coq-version = builtins.substring 0 3 version; camlp5 = ocamlPackages.camlp5_strict; diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index c8fd83bcb93..4d30e7f1fab 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -18235,6 +18235,9 @@ with pkgs; version = "8.5pl3"; }; coq_8_6 = callPackage ../applications/science/logic/coq {}; + coq_8_7 = callPackage ../applications/science/logic/coq { + version = "8.7+beta1"; + }; coq_HEAD = callPackage ../applications/science/logic/coq/HEAD.nix {}; mkCoqPackages_8_4 = self: let callPackage = newScope self; in { |