diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2024-04-23 21:41:17 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2024-04-26 11:18:25 +0200 |
| commit | c82a0a78f6ad12c7932435221f8542cb12bd4e12 (patch) | |
| tree | 32c353117edd31228bae455ca32da4b52efc98e0 | |
| parent | 6cefed103cc8146acf4ca7ecddc481874a167d44 (diff) | |
coqPackages.math-classes: 8.18.0 → 8.19.0
coqPackages.corn: 8.18.0 → 8.19.0
| -rw-r--r-- | pkgs/development/coq-modules/corn/default.nix | 2 | ||||
| -rw-r--r-- | pkgs/development/coq-modules/math-classes/default.nix | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/corn/default.nix b/pkgs/development/coq-modules/corn/default.nix index 0ae9fc5ca62e5..5e72d4a97e2a4 100644 --- a/pkgs/development/coq-modules/corn/default.nix +++ b/pkgs/development/coq-modules/corn/default.nix @@ -4,6 +4,7 @@ mkCoqDerivation rec { pname = "corn"; inherit version; defaultVersion = with lib.versions; lib.switch coq.coq-version [ + { case = (range "8.17" "8.19"); out = "8.19.0"; } { case = (range "8.14" "8.18"); out = "8.18.0"; } { case = (range "8.11" "8.17"); out = "8.16.0"; } { case = (range "8.7" "8.15"); out = "8.13.0"; } @@ -15,6 +16,7 @@ mkCoqDerivation rec { "8.13.0".sha256 = "1wzr7mdsnf1rq7q0dvmv55vxzysy85b00ahwbs868bl7m8fk8x5b"; "8.16.0".sha256 = "sha256-ZE/EEIndxHfo/9Me5NX4ZfcH0ZAQ4sRfZY7LRZfLXBQ="; "8.18.0".sha256 = "sha256-ow3mfarZ1PvBGf5WLnI8LdF3E+8A6fN7cOcXHrZJLo0="; + "8.19.0".sha256 = "sha256-h5MlfRuv2hTbxGmpLUEGQO1YqQTwUNEHZzCfvdOU1TA="; }; configureScript = "./configure.sh"; diff --git a/pkgs/development/coq-modules/math-classes/default.nix b/pkgs/development/coq-modules/math-classes/default.nix index 69d65d4b5587f..4630f14dea02f 100644 --- a/pkgs/development/coq-modules/math-classes/default.nix +++ b/pkgs/development/coq-modules/math-classes/default.nix @@ -5,6 +5,7 @@ mkCoqDerivation { pname = "math-classes"; inherit version; defaultVersion = with lib.versions; lib.switch coq.coq-version [ + { case = range "8.17" "8.19"; out = "8.19.0"; } { case = range "8.12" "8.18"; out = "8.18.0"; } { case = range "8.12" "8.17"; out = "8.17.0"; } { case = range "8.6" "8.16"; out = "8.15.0"; } @@ -14,6 +15,7 @@ mkCoqDerivation { release."8.15.0".sha256 = "10w1hm537k6jx8a8vghq1yx12rsa0sjk2ipv3scgir71ln30hllw"; release."8.17.0".sha256 = "sha256-WklL8pgYTd0l4TGt7h7tWj1qcFcXvoPn25+XKF1pIKA="; release."8.18.0".sha256 = "sha256-0WwPss8+Vr37zX616xeuS4TvtImtSbToFQkQostIjO8="; + release."8.19.0".sha256 = "sha256-rsV96W9MPFi/DKsepNPm1QnC2DMemio+uALIgzVYw0w="; propagatedBuildInputs = [ bignums ]; |