diff options
author | John Wiegley <johnw@newartisans.com> | 2015-11-25 12:58:07 -0800 |
---|---|---|
committer | John Wiegley <johnw@newartisans.com> | 2015-11-25 12:58:07 -0800 |
commit | 2b8ef119c57b9a6fbd6d14e2a95f2c99a7c46eae (patch) | |
tree | 5eedbda16e1d32e1eb65f7f0a29a7d2eec6256fc /pkgs/applications/science | |
parent | cb1c818491c6335aefd3eb3c3e57d76d038f5259 (diff) | |
download | nixlib-2b8ef119c57b9a6fbd6d14e2a95f2c99a7c46eae.tar nixlib-2b8ef119c57b9a6fbd6d14e2a95f2c99a7c46eae.tar.gz nixlib-2b8ef119c57b9a6fbd6d14e2a95f2c99a7c46eae.tar.bz2 nixlib-2b8ef119c57b9a6fbd6d14e2a95f2c99a7c46eae.tar.lz nixlib-2b8ef119c57b9a6fbd6d14e2a95f2c99a7c46eae.tar.xz nixlib-2b8ef119c57b9a6fbd6d14e2a95f2c99a7c46eae.tar.zst nixlib-2b8ef119c57b9a6fbd6d14e2a95f2c99a7c46eae.zip |
Revert "coq: 8.5b2 -> 8.5b3"
This reverts commit c111b0cd4d3d9b419e63623364132f2e6e55db44. @oconnorr I will restore this once there is more ecosystem to support it.
Diffstat (limited to 'pkgs/applications/science')
-rw-r--r-- | pkgs/applications/science/logic/coq/8.5.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/coq/8.5.nix b/pkgs/applications/science/logic/coq/8.5.nix index 48013bfc4014..2afa18d40a4b 100644 --- a/pkgs/applications/science/logic/coq/8.5.nix +++ b/pkgs/applications/science/logic/coq/8.5.nix @@ -6,7 +6,7 @@ {stdenv, fetchurl, writeText, pkgconfig, ocaml, findlib, camlp5, ncurses, lablgtk ? null, csdp ? null}: let - version = "8.5b3"; + version = "8.5b2"; coq-version = "8.5"; buildIde = lablgtk != null; ideFlags = if buildIde then "-lablgtkdir ${lablgtk}/lib/ocaml/*/site-lib/lablgtk2 -coqide opt" else ""; @@ -23,8 +23,8 @@ stdenv.mkDerivation { inherit ocaml camlp5; src = fetchurl { - url = https://coq.inria.fr/distrib/V8.5beta3/files/coq-8.5beta3.tar.gz; - sha256 = "12nnvfz5rsz660j4knhfhfbwq49y2va0rgfrxyiyrr1q4ic84wn6"; + url = https://coq.inria.fr/distrib/V8.5beta2/files/coq-8.5beta2.tar.gz; + sha256 = "1z34ch56lld86srgsjdwdq3girz0k0wqmvyxsa7jwvvxn3qmmq2v"; }; buildInputs = [ pkgconfig ocaml findlib camlp5 ncurses lablgtk ]; |