gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

coqPackages.interval: 4.11.1 -> 4.11.2

Browse Source
This commit is contained in:
Pierre Roux
2025-06-30 08:45:06 +02:00
committed by Vincent Laporte
parent 233e50594e
commit 1771336abe
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/coq-modules/interval/default.nix
+2
View File
@@ -21,6 +21,7 @@ mkCoqDerivation rec {
with lib.versions;
lib.switch coq.coq-version (lib.lists.sort (x: y: isLe x.out y.out) (
lib.mapAttrsToList (out: case: { inherit case out; }) {
"4.11.2" = range "8.13" "9.0";
"4.11.1" = range "8.13" "8.20";
"4.10.0" = range "8.12" "8.19";
"4.9.0" = range "8.12" "8.18";
@@ -32,6 +33,7 @@ mkCoqDerivation rec {
"3.3.0" = range "8.5" "8.6";
}
)) null;
release."4.11.2".sha256 = "sha256-ouhjHtlxcqt06+Pt+UZAzwp83bVYPh3N+8jnsVvapSU=";
release."4.11.1".sha256 = "sha256-QWZvU468rOhK796xCCEawW6rhCRTPnE0iLll9ynKflo=";
release."4.11.0".sha256 = "sha256-vPwa4zSjyvxHLGDoNaBnHV2pb77dnQFbC50BL80fcvE=";
release."4.10.0".sha256 = "sha256-MZJVoKGLXjDabdv9BuUSK1L9z1cubzC9cqVuWevKIXQ=";