diff options
Diffstat (limited to 'nixpkgs/pkgs/development/coq-modules/extructures/default.nix')
-rw-r--r-- | nixpkgs/pkgs/development/coq-modules/extructures/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nixpkgs/pkgs/development/coq-modules/extructures/default.nix b/nixpkgs/pkgs/development/coq-modules/extructures/default.nix index 15dd62fb7552..09b41f2cbc60 100644 --- a/nixpkgs/pkgs/development/coq-modules/extructures/default.nix +++ b/nixpkgs/pkgs/development/coq-modules/extructures/default.nix @@ -9,7 +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.17" "8.19") (isGe "2.0.0") ]; out = "0.4.0"; } { cases = [(range "8.11" "8.18") (range "1.12.0" "1.18.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"; } |