pyrox.dev
coq_HEAD: update to latest Git HEAD
+3
-3
pkgs/applications/science/logic/coq/HEAD.nix
+3
-3
pkgs/applications/science/logic/coq/HEAD.nix
···
3
3
{stdenv, fetchgit, pkgconfig, ocaml, findlib, camlp5, ncurses, lablgtk ? null}:
4
4
5
5
let
6
-
version = "8.5pre-c70d5b2";
6
+
version = "8.5pre-01feb42";
7
7
buildIde = lablgtk != null;
8
8
ideFlags = if buildIde then "-lablgtkdir ${lablgtk}/lib/ocaml/*/site-lib/lablgtk2 -coqide opt" else "";
9
9
idePath = if buildIde then ''
···
16
16
17
17
src = fetchgit {
18
18
url = git://scm.gforge.inria.fr/coq/coq.git;
19
-
rev = "c70d5b27ad5872c74e20b6c997383fb4462a68dc";
20
-
sha256 = "02wks2aivgjcf4h3ss9rn683vyawz8gl8rbysdq7awxh062316l2";
19
+
rev = "01feb4206d26b41bfaab9bd45a7b2fc4db569baf";
20
+
sha256 = "e6d44ebc3019b2650c6e320218b264f5bde68bf6f222b356d41b0a38918e839f";
21
21
};
22
22
23
23
buildInputs = [ pkgconfig ocaml findlib camlp5 ncurses lablgtk ];