diff options
author | Arthur Azevedo de Amorim <arthur.aa@gmail.com> | 2023-10-22 14:57:13 -0400 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2023-10-25 18:19:16 +0200 |
commit | e5de9895e8980f94fd784d81cf9218915c9fe32c (patch) | |
tree | c0f9d1ce51d1813a9bce6ee87fd3c22132029256 /pkgs/development/coq-modules | |
parent | 3f9b0a534dc85cb69c2b63f9086844380bb69df9 (diff) |
coqPackages.extructures: 0.3.1 -> 0.4.0
Diffstat (limited to 'pkgs/development/coq-modules')
-rw-r--r-- | pkgs/development/coq-modules/extructures/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/extructures/default.nix b/pkgs/development/coq-modules/extructures/default.nix index 7240ffdf0dbaf..8d28d9b0f6cf1 100644 --- a/pkgs/development/coq-modules/extructures/default.nix +++ b/pkgs/development/coq-modules/extructures/default.nix @@ -9,6 +9,7 @@ inherit version; defaultVersion = with lib.versions; lib.switch [coq.coq-version ssreflect.version] [ + { cases = [(range "8.17" "8.18") (isGe "2.0.0") ]; out = "0.4.0"; } { cases = [(range "8.11" "8.18") (isGe "1.12.0") ]; out = "0.3.1"; } { cases = [(range "8.11" "8.14") (isLe "1.12.0") ]; out = "0.3.0"; } { cases = [(range "8.10" "8.12") (isLe "1.12.0") ]; out = "0.2.2"; } @@ -16,6 +17,7 @@ releaseRev = v: "v${v}"; + release."0.4.0".sha256 = "sha256:1jbvawwmmczf9algdq81iqnrlmwwl8cxhwyrsi1kq3fmpvanx2f1"; release."0.3.1".sha256 = "sha256-KcuG/11Yq5ACem4FyVnQqHKvy3tNK7hd0ir2SJzzMN0="; release."0.3.0".sha256 = "sha256:14rm0726f1732ldds495qavg26gsn30w6dfdn36xb12g5kzavp38"; release."0.2.2".sha256 = "sha256:1clzza73gccy6p6l95n6gs0adkqd3h4wgl4qg5l0qm4q140grvm7"; |