diff options
| author | John Wiegley <johnw@newartisans.com> | 2014-10-09 14:52:07 -0500 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2014-10-09 14:52:35 -0500 |
| commit | e73aefcf931b37c865862c743b7f1113606e9696 (patch) | |
| tree | 7604e1d1fa87e5512f1e314dc6ae051b933cbd27 /pkgs/applications/science | |
| parent | c7a06fa51a9ff32f28ac42f46d53240d1afc8467 (diff) | |
| download | nixlib-e73aefcf931b37c865862c743b7f1113606e9696.tar nixlib-e73aefcf931b37c865862c743b7f1113606e9696.tar.gz nixlib-e73aefcf931b37c865862c743b7f1113606e9696.tar.bz2 nixlib-e73aefcf931b37c865862c743b7f1113606e9696.tar.lz nixlib-e73aefcf931b37c865862c743b7f1113606e9696.tar.xz nixlib-e73aefcf931b37c865862c743b7f1113606e9696.tar.zst nixlib-e73aefcf931b37c865862c743b7f1113606e9696.zip | |
coq_HEAD: Update
Diffstat (limited to 'pkgs/applications/science')
| -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 4081465fbd27..bf426bc42c2f 100644 --- a/pkgs/applications/science/logic/coq/HEAD.nix +++ b/pkgs/applications/science/logic/coq/HEAD.nix @@ -2,8 +2,8 @@ {stdenv, fetchgit, writeText, pkgconfig, ocaml, findlib, camlp5, ncurses, lablgtk ? null}: -let - version = "8.5pre-01feb42"; +let + version = "8.5pre-2313bde0"; coq-version = "8.5"; buildIde = lablgtk != null; ideFlags = if buildIde then "-lablgtkdir ${lablgtk}/lib/ocaml/*/site-lib/lablgtk2 -coqide opt" else ""; @@ -17,8 +17,8 @@ stdenv.mkDerivation { src = fetchgit { url = git://scm.gforge.inria.fr/coq/coq.git; - rev = "01feb4206d26b41bfaab9bd45a7b2fc4db569baf"; - sha256 = "e6d44ebc3019b2650c6e320218b264f5bde68bf6f222b356d41b0a38918e839f"; + rev = "2313bde0116a5916912bebbaca77d291f7b2760a"; + sha256 = "116b8060a47a7b2d0cac72d86f7e320bec99b6d450614d1e6b92ff919619c509"; }; buildInputs = [ pkgconfig ocaml findlib camlp5 ncurses lablgtk ]; |