diff options
author | rht <rhtbot@gmail.com> | 2017-02-06 16:27:13 +0400 |
---|---|---|
committer | rht <rhtbot@gmail.com> | 2017-03-18 01:51:38 +0300 |
commit | bbd1c3d58a8652f3712348c4683c7c02738994d6 (patch) | |
tree | 1e5dffedeb703753f5e5337f8772ac1328150f34 /pkgs/applications/science | |
parent | 7264efb5cb387ada5e739ec35d4b48db1904705b (diff) | |
download | nixlib-bbd1c3d58a8652f3712348c4683c7c02738994d6.tar nixlib-bbd1c3d58a8652f3712348c4683c7c02738994d6.tar.gz nixlib-bbd1c3d58a8652f3712348c4683c7c02738994d6.tar.bz2 nixlib-bbd1c3d58a8652f3712348c4683c7c02738994d6.tar.lz nixlib-bbd1c3d58a8652f3712348c4683c7c02738994d6.tar.xz nixlib-bbd1c3d58a8652f3712348c4683c7c02738994d6.tar.zst nixlib-bbd1c3d58a8652f3712348c4683c7c02738994d6.zip |
coq_HEAD: Update once more
Diffstat (limited to 'pkgs/applications/science')
-rw-r--r-- | pkgs/applications/science/logic/coq/HEAD.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/coq/HEAD.nix b/pkgs/applications/science/logic/coq/HEAD.nix index 79893c38997f..8d3fb19b2638 100644 --- a/pkgs/applications/science/logic/coq/HEAD.nix +++ b/pkgs/applications/science/logic/coq/HEAD.nix @@ -6,7 +6,7 @@ {stdenv, fetchgit, writeText, pkgconfig, ocamlPackages_4_02, ncurses, buildIde ? true, csdp ? null}: let - version = "2017-01-22"; + version = "2017-02-03"; coq-version = "8.6"; ideFlags = if buildIde then "-lablgtkdir ${ocamlPackages_4_02.lablgtk}/lib/ocaml/*/site-lib/lablgtk2 -coqide opt" else ""; csdpPatch = if csdp != null then '' @@ -27,8 +27,8 @@ stdenv.mkDerivation { src = fetchgit { url = git://scm.gforge.inria.fr/coq/coq.git; - rev = "d6bcc6ebe4f65d0555414851f7e4fb6fa1fb22a4"; - sha256 = "1k5wkwlis836iwy1s8hfjw9gwdk8vp405hp09s6d44ijb2ihr356"; + rev = "078598d029792a3d9a54fae9b9ac189b75bc3b06"; + sha256 = "0sflrpp6x0ada0bjh67q1x65g88d179n3cawpwkp1pm4kw76g8x7"; }; buildInputs = [ pkgconfig ocaml findlib camlp5 ncurses lablgtk ]; |