diff options
| author | Robin Gloster <mail@glob.in> | 2016-06-10 09:27:04 +0000 |
|---|---|---|
| committer | Robin Gloster <mail@glob.in> | 2016-06-10 09:27:04 +0000 |
| commit | 8031cba2ab3146977141fc504bea2a1e03b5c126 (patch) | |
| tree | 0cd68c0007851dfed7d7f8247754b5c4b356704e /pkgs/applications/science/logic/coq/HEAD.nix | |
| parent | 2a5e64b69c83592caf900cb0b7213235e96368de (diff) | |
| parent | 656c48f141be5886c515a1a874a47472cbbac6bd (diff) | |
| download | nixpkgs-8031cba2ab3146977141fc504bea2a1e03b5c126.tar nixpkgs-8031cba2ab3146977141fc504bea2a1e03b5c126.tar.gz nixpkgs-8031cba2ab3146977141fc504bea2a1e03b5c126.tar.bz2 nixpkgs-8031cba2ab3146977141fc504bea2a1e03b5c126.tar.lz nixpkgs-8031cba2ab3146977141fc504bea2a1e03b5c126.tar.xz nixpkgs-8031cba2ab3146977141fc504bea2a1e03b5c126.tar.zst nixpkgs-8031cba2ab3146977141fc504bea2a1e03b5c126.zip | |
Merge remote-tracking branch 'upstream/master' into hardened-stdenv
Diffstat (limited to 'pkgs/applications/science/logic/coq/HEAD.nix')
| -rw-r--r-- | pkgs/applications/science/logic/coq/HEAD.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/coq/HEAD.nix b/pkgs/applications/science/logic/coq/HEAD.nix index 3656b5cab19..86935b178d9 100644 --- a/pkgs/applications/science/logic/coq/HEAD.nix +++ b/pkgs/applications/science/logic/coq/HEAD.nix @@ -25,7 +25,7 @@ stdenv.mkDerivation { src = fetchgit { url = git://scm.gforge.inria.fr/coq/coq.git; rev = "0c999f02ffcd61fcace0cc2d045056a82992a100"; - sha256 = "1wk9lxdmw152665hr5cvnnzgnbbq7kg2845qkb4ag99nnfpsi26s"; + sha256 = "08z9z4bv4a8ha1jrn18vxad6d7y7h92ggr00rx8jfvvi290n9344"; }; buildInputs = [ pkgconfig ocaml findlib camlp5 ncurses lablgtk ]; |