diff options
author | John Wiegley <johnw@newartisans.com> | 2018-10-10 10:00:23 -0700 |
---|---|---|
committer | John Wiegley <johnw@newartisans.com> | 2018-10-10 10:00:23 -0700 |
commit | 1ba4d23c3a1409c954bca89e69fe04a5ce9a1517 (patch) | |
tree | d9423ba8ccab8a30d5cfd0fa616553dc955c11fb /pkgs/development | |
parent | bd778b93c9bb50c9eb3ddaf162fdc8b35385b464 (diff) | |
download | nixlib-1ba4d23c3a1409c954bca89e69fe04a5ce9a1517.tar nixlib-1ba4d23c3a1409c954bca89e69fe04a5ce9a1517.tar.gz nixlib-1ba4d23c3a1409c954bca89e69fe04a5ce9a1517.tar.bz2 nixlib-1ba4d23c3a1409c954bca89e69fe04a5ce9a1517.tar.lz nixlib-1ba4d23c3a1409c954bca89e69fe04a5ce9a1517.tar.xz nixlib-1ba4d23c3a1409c954bca89e69fe04a5ce9a1517.tar.zst nixlib-1ba4d23c3a1409c954bca89e69fe04a5ce9a1517.zip |
Revert "coqPackages.fiat_HEAD: Update 2016-10-24 -> 2018-02-27"
This reverts commit f5f71c08cdbf1f66b654a1321460b6a7d771c26a, due to insufficient testing.
Diffstat (limited to 'pkgs/development')
-rw-r--r-- | pkgs/development/coq-modules/fiat/HEAD.nix | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/pkgs/development/coq-modules/fiat/HEAD.nix b/pkgs/development/coq-modules/fiat/HEAD.nix index bc5c0fdd6bb7..b970747c7726 100644 --- a/pkgs/development/coq-modules/fiat/HEAD.nix +++ b/pkgs/development/coq-modules/fiat/HEAD.nix @@ -1,23 +1,22 @@ -{stdenv, fetchgit, coq, ocamlPackages, python27}: +{stdenv, fetchgit, coq, python27}: stdenv.mkDerivation rec { name = "coq-fiat-${coq.coq-version}-unstable-${version}"; - version = "2018-02-27"; + version = "2016-10-24"; src = fetchgit { url = "https://github.com/mit-plv/fiat.git"; - rev = "253fc133397f73d6daed0b9518ca7ab5507a1cb0"; - sha256 = "0b5z7nz0cr1s7vy04s996dj0pd7ljqx6g5a8syh4hy2z87ijkjzd"; + rev = "7feb6c64be9ebcc05924ec58fe1463e73ec8206a"; + sha256 = "0griqc675yylf9rvadlfsabz41qy5f5idya30p5rv6ysiakxya64"; }; - buildInputs = [ ocamlPackages.ocaml ocamlPackages.camlp5_transitional - ocamlPackages.findlib python27 ]; + buildInputs = [ coq.ocaml coq.camlp5 python27 ]; propagatedBuildInputs = [ coq ]; doCheck = false; - enableParallelBuilding = true; + enableParallelBuilding = false; buildPhase = "make -j$NIX_BUILD_CORES"; installPhase = '' @@ -34,6 +33,6 @@ stdenv.mkDerivation rec { }; passthru = { - compatibleCoqVersions = v: builtins.elem v [ "8.5" "8.6" "8.7" ]; + compatibleCoqVersions = v: v == "8.5"; }; } |