diff options
| author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2019-03-01 19:30:17 +0100 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-03-12 06:59:51 +0000 |
| commit | b6a6f7ac989d782e67a9a8ef7abac83355858977 (patch) | |
| tree | bb9c28ca8a88e27f46264e3ac020120fac69ae1a /pkgs/development/coq-modules | |
| parent | 4f74e3abcff3120b141420f264866bbbc12a2b45 (diff) | |
| download | nixpkgs-b6a6f7ac989d782e67a9a8ef7abac83355858977.tar nixpkgs-b6a6f7ac989d782e67a9a8ef7abac83355858977.tar.gz nixpkgs-b6a6f7ac989d782e67a9a8ef7abac83355858977.tar.bz2 nixpkgs-b6a6f7ac989d782e67a9a8ef7abac83355858977.tar.lz nixpkgs-b6a6f7ac989d782e67a9a8ef7abac83355858977.tar.xz nixpkgs-b6a6f7ac989d782e67a9a8ef7abac83355858977.tar.zst nixpkgs-b6a6f7ac989d782e67a9a8ef7abac83355858977.zip | |
coqPackages.contribs.zorns-lemma: 8.6.0 -> 8.9.0
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/contribs/default.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/development/coq-modules/contribs/default.nix b/pkgs/development/coq-modules/contribs/default.nix index a1ecdd610a3..596c1cd07d3 100644 --- a/pkgs/development/coq-modules/contribs/default.nix +++ b/pkgs/development/coq-modules/contribs/default.nix @@ -1024,10 +1024,10 @@ let mkContrib = repo: revs: param: sha256 = "0iwkpmc22nwasrk4g7ki4s5y05zjs7kmqk3j98giwp2wiavhgapn"; }; - zorns-lemma = mkContrib "zorns-lemma" [ "8.5" "8.6" "8.7" ] { - version = "v8.6.0"; - rev = "5eba80109d6f4f688ac8dc2b6d505d6681801737"; - sha256 = "19qvsk0s3hs31nmy4fk7qzw4clyj0gka3f526xjij54b8a9fz34f"; + zorns-lemma = mkContrib "zorns-lemma" [ "8.6" "8.7" "8.8" "8.9" ] { + version = "v8.9.0"; + rev = "6ac9bb914f6017cdd9a544ff4b0bef73fd33b44c"; + sha256 = "1vdsl5gxpadkjjjw314s4fawzlssdmp4qkwrjz5qdmyl2dcpil4p"; }; zsearch-trees = mkContrib "zsearch-trees" [ "8.6" "8.7" ] { |