diff options
| author | Pierre Roux <pierre.roux@onera.fr> | 2024-01-26 08:33:14 +0100 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2024-01-26 19:35:30 +0100 |
| commit | d25c59bebb9fd4971bd25f30d55dd7d28134c6d8 (patch) | |
| tree | 9a4fe561b53822737e308b860fb0010a7fe81e39 /pkgs/development/coq-modules | |
| parent | 523c093518c3ce5a7d7981e979f2bef0fed39de9 (diff) | |
| download | nixlib-d25c59bebb9fd4971bd25f30d55dd7d28134c6d8.tar nixlib-d25c59bebb9fd4971bd25f30d55dd7d28134c6d8.tar.gz nixlib-d25c59bebb9fd4971bd25f30d55dd7d28134c6d8.tar.bz2 nixlib-d25c59bebb9fd4971bd25f30d55dd7d28134c6d8.tar.lz nixlib-d25c59bebb9fd4971bd25f30d55dd7d28134c6d8.tar.xz nixlib-d25c59bebb9fd4971bd25f30d55dd7d28134c6d8.tar.zst nixlib-d25c59bebb9fd4971bd25f30d55dd7d28134c6d8.zip | |
coqPackages_8_19.extructures
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/deriving/default.nix | 2 | ||||
| -rw-r--r-- | pkgs/development/coq-modules/extructures/default.nix | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/coq-modules/deriving/default.nix b/pkgs/development/coq-modules/deriving/default.nix index b55715213c9a..704b4f8123b0 100644 --- a/pkgs/development/coq-modules/deriving/default.nix +++ b/pkgs/development/coq-modules/deriving/default.nix @@ -9,7 +9,7 @@ mkCoqDerivation { inherit version; defaultVersion = with lib.versions; lib.switch [coq.coq-version ssreflect.version] [ { cases = [(range "8.17" "8.19") (isGe "2.0.0")] ; out = "0.2.0"; } - { cases = [(range "8.11" "8.18") (isLe "2.0.0")] ; out = "0.1.1"; } + { cases = [(range "8.11" "8.19") (isLe "2.0.0")] ; out = "0.1.1"; } ] null; releaseRev = v: "v${v}"; diff --git a/pkgs/development/coq-modules/extructures/default.nix b/pkgs/development/coq-modules/extructures/default.nix index 09b41f2cbc60..3cd742fdd337 100644 --- a/pkgs/development/coq-modules/extructures/default.nix +++ b/pkgs/development/coq-modules/extructures/default.nix @@ -10,7 +10,7 @@ inherit version; defaultVersion = with lib.versions; lib.switch [coq.coq-version ssreflect.version] [ { 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.19") (range "1.12.0" "1.19.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"; } ] null; |