diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-04-18 10:38:28 +0000 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-04-25 08:35:20 +0200 |
commit | e3a03659e5f3a372fb949693cdd22168b04330f0 (patch) | |
tree | 4bd2f346b47f91ef3329e16749875268663cccdb /pkgs/development/coq-modules | |
parent | 1011fae581e1139ea4c9f3e479d604eb5669c5d9 (diff) | |
download | nixpkgs-e3a03659e5f3a372fb949693cdd22168b04330f0.tar nixpkgs-e3a03659e5f3a372fb949693cdd22168b04330f0.tar.gz nixpkgs-e3a03659e5f3a372fb949693cdd22168b04330f0.tar.bz2 nixpkgs-e3a03659e5f3a372fb949693cdd22168b04330f0.tar.lz nixpkgs-e3a03659e5f3a372fb949693cdd22168b04330f0.tar.xz nixpkgs-e3a03659e5f3a372fb949693cdd22168b04330f0.tar.zst nixpkgs-e3a03659e5f3a372fb949693cdd22168b04330f0.zip |
coqPackages.Verdi: 20181102 -> 20190202
Diffstat (limited to 'pkgs/development/coq-modules')
-rw-r--r-- | pkgs/development/coq-modules/Verdi/default.nix | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/Verdi/default.nix b/pkgs/development/coq-modules/Verdi/default.nix index 8eaa2bdfae7..9b3b5320c8e 100644 --- a/pkgs/development/coq-modules/Verdi/default.nix +++ b/pkgs/development/coq-modules/Verdi/default.nix @@ -1,7 +1,12 @@ { stdenv, fetchFromGitHub, coq, Cheerios, InfSeqExt, ssreflect }: let param = + if stdenv.lib.versionAtLeast coq.coq-version "8.7" then { + version = "20190202"; + rev = "bc193be9ea8485add7646a0f72e2aa76a9c7e01f"; + sha256 = "1adkwxnmc9qfah2bya0hpd2vzkmk1y212z4n7fcmvr1a85ykgd7z"; + } else { version = "20181102"; rev = "25b79cf1be5527ab8dc1b8314fcee93e76a2e564"; sha256 = "1vw47c37k5vaa8vbr6ryqy8riagngwcrfmb3rai37yi9xhdqg55z"; |