diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-08-04 19:46:16 +0200 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-08-04 19:52:51 +0200 |
commit | c0dca2fb00a4e94f995b2752c78f4e67a6c6e7c8 (patch) | |
tree | 88a98a1802286d8fe9acc7fb2112697fe462c9c5 /pkgs/applications/science | |
parent | 5215ed6b216fedb37bfd241666048d9a4126b2b4 (diff) | |
download | nixlib-c0dca2fb00a4e94f995b2752c78f4e67a6c6e7c8.tar nixlib-c0dca2fb00a4e94f995b2752c78f4e67a6c6e7c8.tar.gz nixlib-c0dca2fb00a4e94f995b2752c78f4e67a6c6e7c8.tar.bz2 nixlib-c0dca2fb00a4e94f995b2752c78f4e67a6c6e7c8.tar.lz nixlib-c0dca2fb00a4e94f995b2752c78f4e67a6c6e7c8.tar.xz nixlib-c0dca2fb00a4e94f995b2752c78f4e67a6c6e7c8.tar.zst nixlib-c0dca2fb00a4e94f995b2752c78f4e67a6c6e7c8.zip |
coq: 8.6 -> 8.6.1
Diffstat (limited to 'pkgs/applications/science')
-rw-r--r-- | pkgs/applications/science/logic/coq/default.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/coq/default.nix b/pkgs/applications/science/logic/coq/default.nix index f93856e90e11..284175d2b4c7 100644 --- a/pkgs/applications/science/logic/coq/default.nix +++ b/pkgs/applications/science/logic/coq/default.nix @@ -9,7 +9,7 @@ , ocamlPackages, ncurses , buildIde ? true , csdp ? null -, version ? "8.6" +, version ? "8.6.1" }: let @@ -18,6 +18,7 @@ let "8.5pl2" = "0wyywia0darak2zmc5v0ra9rn0b9whwdfiahralm8v5za499s8w3"; "8.5pl3" = "0fyk2a4fpifibq8y8jhx1891k55qnsnlygglch64sva0bph94nrh"; "8.6" = "1pw1xvy1657l1k69wrb911iqqflzhhp8wwsjvihbgc72r3skqg3f"; + "8.6.1" = "17cg2c40y9lskkiqfhngavp8yw3shpqgkpihh30xx0rlhn9amy1j"; }."${version}"; coq-version = builtins.substring 0 3 version; camlp5 = ocamlPackages.camlp5_transitional; |