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 /pkgs/applications/science/logic | |
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
Diffstat (limited to 'pkgs/applications/science/logic')
-rw-r--r-- | pkgs/applications/science/logic/coq/HEAD.nix | 8 |
1 files changed, 4 insertions, 4 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 ]; |