public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

coq: 8.6 -> 8.6.1

Browse Source
This commit is contained in:
Théo Zimmermann 2017-08-04 19:46:16 +02:00
parent 5215ed6b21
commit c0dca2fb00
2 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/applications/science/logic/coq/default.nix
View File

@ -9,7 +9,7 @@
, ocamlPackages, ncurses , ocamlPackages, ncurses
, buildIde ? true , buildIde ? true
, csdp ? null , csdp ? null
, version ? "8.6" , version ? "8.6.1"
}: }:
let let
@ -18,6 +18,7 @@ let
"8.5pl2" = "0wyywia0darak2zmc5v0ra9rn0b9whwdfiahralm8v5za499s8w3"; "8.5pl2" = "0wyywia0darak2zmc5v0ra9rn0b9whwdfiahralm8v5za499s8w3";
"8.5pl3" = "0fyk2a4fpifibq8y8jhx1891k55qnsnlygglch64sva0bph94nrh"; "8.5pl3" = "0fyk2a4fpifibq8y8jhx1891k55qnsnlygglch64sva0bph94nrh";
"8.6" = "1pw1xvy1657l1k69wrb911iqqflzhhp8wwsjvihbgc72r3skqg3f"; "8.6" = "1pw1xvy1657l1k69wrb911iqqflzhhp8wwsjvihbgc72r3skqg3f";
"8.6.1" = "17cg2c40y9lskkiqfhngavp8yw3shpqgkpihh30xx0rlhn9amy1j";
}."${version}"; }."${version}";
coq-version = builtins.substring 0 3 version; coq-version = builtins.substring 0 3 version;
camlp5 = ocamlPackages.camlp5_transitional; camlp5 = ocamlPackages.camlp5_transitional;

3
pkgs/top-level/all-packages.nix
View File

@ -5222,7 +5222,8 @@ with pkgs;
cmucl_binary = callPackage_i686 ../development/compilers/cmucl/binary.nix { }; cmucl_binary = callPackage_i686 ../development/compilers/cmucl/binary.nix { };
compcert = callPackage ../development/compilers/compcert { compcert = callPackage ../development/compilers/compcert {
coq = coq_8_6; # Pin the version of coq used in compcert to 8.6 until the next release
coq = callPackage ../applications/science/logic/coq { version = "8.6"; };
}; };