diff options
| author | Andrew Miloradovsky <andrew@interpretmath.pw> | 2020-04-27 01:46:22 +0000 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2020-05-08 07:40:32 +0200 |
| commit | 7397d8421e9bce19f5d4ee02f672ed8ca72e4211 (patch) | |
| tree | 21acc5c6bc8a68fa9943fde33f40fe1608ed38c8 /pkgs/development/coq-modules/contribs | |
| parent | 236fdbcb62678a0db6850d5e15805935be622080 (diff) | |
coq-zorns-lemma: 8.9.0 -> 8.11.0
Diffstat (limited to 'pkgs/development/coq-modules/contribs')
| -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 8362c704d95f7..d2787f0948e00 100644 --- a/pkgs/development/coq-modules/contribs/default.nix +++ b/pkgs/development/coq-modules/contribs/default.nix @@ -1031,10 +1031,10 @@ let mkContrib = repo: revs: param: sha256 = "0iwkpmc22nwasrk4g7ki4s5y05zjs7kmqk3j98giwp2wiavhgapn"; }; - zorns-lemma = mkContrib "zorns-lemma" [ "8.6" "8.7" "8.8" "8.9" ] { - version = "v8.9.0"; - rev = "6ac9bb914f6017cdd9a544ff4b0bef73fd33b44c"; - sha256 = "1vdsl5gxpadkjjjw314s4fawzlssdmp4qkwrjz5qdmyl2dcpil4p"; + zorns-lemma = mkContrib "zorns-lemma" [ "8.10" "8.11" ] { + version = "v8.11.0"; + rev = "a573b50fff994f996b8e15dec2079490a5233dc6"; + sha256 = "0jbp1ay6abal66glbablbqsh5hzgd5fv81dc1vzn65jw0iiznxyq"; }; zsearch-trees = mkContrib "zsearch-trees" [ "8.6" "8.7" ] { |