diff options
author | rht <rhtbot@gmail.com> | 2017-01-12 04:31:36 +0400 |
---|---|---|
committer | rht <rhtbot@gmail.com> | 2017-03-18 01:50:26 +0300 |
commit | 975d040f07eff23289e7698cb4bf02461c3fdd19 (patch) | |
tree | 1a7662b7acd60eb448afe6589a3ad90f4f61d9f2 | |
parent | 953616907493c5b81ba3ec9dd86f1422f4d1fcd3 (diff) | |
download | nixlib-975d040f07eff23289e7698cb4bf02461c3fdd19.tar nixlib-975d040f07eff23289e7698cb4bf02461c3fdd19.tar.gz nixlib-975d040f07eff23289e7698cb4bf02461c3fdd19.tar.bz2 nixlib-975d040f07eff23289e7698cb4bf02461c3fdd19.tar.lz nixlib-975d040f07eff23289e7698cb4bf02461c3fdd19.tar.xz nixlib-975d040f07eff23289e7698cb4bf02461c3fdd19.tar.zst nixlib-975d040f07eff23289e7698cb4bf02461c3fdd19.zip |
coq_HEAD: Update to the latest commit
-rw-r--r-- | pkgs/applications/science/logic/coq/HEAD.nix | 8 | ||||
-rw-r--r-- | pkgs/top-level/all-packages.nix | 4 |
2 files changed, 6 insertions, 6 deletions
diff --git a/pkgs/applications/science/logic/coq/HEAD.nix b/pkgs/applications/science/logic/coq/HEAD.nix index f6837397e21a..e02170793eaf 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, ocaml, findlib, camlp5, ncurses, lablgtk ? null, csdp ? null}: let - version = "8.6pre-0c999f02"; + version = "2017-01-22"; coq-version = "8.6"; buildIde = lablgtk != null; ideFlags = if buildIde then "-lablgtkdir ${lablgtk}/lib/ocaml/*/site-lib/lablgtk2 -coqide opt" else ""; @@ -17,15 +17,15 @@ let in stdenv.mkDerivation { - name = "coq-${version}"; + name = "coq-unstable-${version}"; inherit coq-version; inherit ocaml camlp5; src = fetchgit { url = git://scm.gforge.inria.fr/coq/coq.git; - rev = "ad768e435a736ca51ac79a575967b388b34918c7"; - sha256 = "05s7sk1l3mvdjag3idnhkpj707y4bv56da7kpffw862f2qgfr77j"; + rev = "d6bcc6ebe4f65d0555414851f7e4fb6fa1fb22a4"; + sha256 = "1k5wkwlis836iwy1s8hfjw9gwdk8vp405hp09s6d44ijb2ihr356"; }; buildInputs = [ pkgconfig ocaml findlib camlp5 ncurses lablgtk ]; diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 5fe47cdf560b..f8d0ac7ce675 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -17222,8 +17222,8 @@ with pkgs; }; coq_8_6 = callPackage ../applications/science/logic/coq {}; coq_HEAD = callPackage ../applications/science/logic/coq/HEAD.nix { - inherit (ocamlPackages) ocaml findlib lablgtk; - camlp5 = ocamlPackages.camlp5_transitional; + inherit (ocamlPackages_4_02) ocaml findlib lablgtk; + camlp5 = ocamlPackages_4_02.camlp5_transitional; }; coq = coq_8_6; |