talexander/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Releases Activity

coqPackages.interval: 4.11.2 -> 4.11.3

Browse Source
This commit is contained in:
Pierre Roux 2025-07-31 11:49:59 +02:00 committed by Vincent Laporte
parent 0bed63d0d9
commit 5d587e28bb
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/development/coq-modules/interval/default.nix
View File

@ -23,6 +23,7 @@ mkCoqDerivation rec {
in in
with lib.versions; with lib.versions;
lib.switch coq.coq-version [ lib.switch coq.coq-version [
(case (range "8.13" "9.1") "4.11.3")
(case (range "8.13" "9.0") "4.11.2") (case (range "8.13" "9.0") "4.11.2")
(case (range "8.13" "8.20") "4.11.1") (case (range "8.13" "8.20") "4.11.1")
(case (range "8.12" "8.19") "4.10.0") (case (range "8.12" "8.19") "4.10.0")
@ -34,6 +35,7 @@ mkCoqDerivation rec {
(case (range "8.7" "8.11") "3.4.2") (case (range "8.7" "8.11") "3.4.2")
(case (range "8.5" "8.6") "3.3.0") (case (range "8.5" "8.6") "3.3.0")
] null; ] null;
release."4.11.3".sha256 = "sha256-Cwovc3ln7ZEEDgMEh+pSUYqD/rtwFk4ED2hTRdy9YRg";
release."4.11.2".sha256 = "sha256-ouhjHtlxcqt06+Pt+UZAzwp83bVYPh3N+8jnsVvapSU="; release."4.11.2".sha256 = "sha256-ouhjHtlxcqt06+Pt+UZAzwp83bVYPh3N+8jnsVvapSU=";
release."4.11.1".sha256 = "sha256-QWZvU468rOhK796xCCEawW6rhCRTPnE0iLll9ynKflo="; release."4.11.1".sha256 = "sha256-QWZvU468rOhK796xCCEawW6rhCRTPnE0iLll9ynKflo=";
release."4.11.0".sha256 = "sha256-vPwa4zSjyvxHLGDoNaBnHV2pb77dnQFbC50BL80fcvE="; release."4.11.0".sha256 = "sha256-vPwa4zSjyvxHLGDoNaBnHV2pb77dnQFbC50BL80fcvE=";