movefasta/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-06-12 20:55:31 +03:00
Code Issues Projects Releases Packages Wiki Activity

coqPackages.gaia: 2.2 -> 2.3

Browse source
This commit is contained in:
Pierre Roux 2025-04-16 09:13:29 +02:00 • committed by Vincent Laporte
parent cb817bb9db
commit d7fd05259c
1 changed files with 8 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

8
pkgs/development/coq-modules/gaia/default.nix
View file

@ -17,6 +17,7 @@ mkCoqDerivation {
release."1.15".sha256 = "sha256:04zchnkvaq2mzpcilpspn5l947689gj3m0w20m0nd7w4drvlahnw"; release."1.15".sha256 = "sha256:04zchnkvaq2mzpcilpspn5l947689gj3m0w20m0nd7w4drvlahnw";
release."1.17".sha256 = "sha256-2VzdopXgKS/wC5Rd1/Zlr12J5bSIGINFjG1nrMjDrGE="; release."1.17".sha256 = "sha256-2VzdopXgKS/wC5Rd1/Zlr12J5bSIGINFjG1nrMjDrGE=";
release."2.2".sha256 = "sha256-y8LlQg9d9rfPFjzS9Xu3BW/H3tPiOC+Eb/zwXJGW9d4="; release."2.2".sha256 = "sha256-y8LlQg9d9rfPFjzS9Xu3BW/H3tPiOC+Eb/zwXJGW9d4=";
release."2.3".sha256 = "sha256-inWJok0F3SZpVfoyMfpRXHVHn4z2aY8JjCKKhdVTnoc=";
releaseRev = (v: "v${v}"); releaseRev = (v: "v${v}");
inherit version; inherit version;
@ -25,6 +26,13 @@ mkCoqDerivation {
lib.switch lib.switch
[ coq.version mathcomp.version ] [ coq.version mathcomp.version ]
[ [
{
cases = [
(range "8.16" "9.0")
(range "2.0" "2.4")
];
out = "2.3";
}
{ {
cases = [ cases = [
(range "8.16" "9.0") (range "8.16" "9.0")