movefasta/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-06-14 13:39:15 +03:00
Code Issues Projects Releases Packages Wiki Activity

coqPackages.mathcomp: 2.3.0 -> 2.4.0

Browse source
This commit is contained in:
Pierre Roux 2025-04-15 14:15:34 +02:00 • committed by Vincent Laporte
parent bfaf0262cf
commit 42dba13fa6
11 changed files with 18 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

2
pkgs/development/coq-modules/coqeal/default.nix
View file

@ -23,7 +23,7 @@ let
[ [
{ {
cases = [ cases = [
(range "9.0" "9.0") (range "8.20" "9.0")
(isGe "2.3.0") (isGe "2.3.0")
]; ];
out = "2.1.0"; out = "2.1.0";

4
pkgs/development/coq-modules/deriving/default.nix
View file

@ -20,14 +20,14 @@ mkCoqDerivation {
{ {
cases = [ cases = [
(range "8.17" "9.0") (range "8.17" "9.0")
(isGe "2.0.0") (range "2.0.0" "2.3.0")
]; ];
out = "0.2.1"; out = "0.2.1";
} }
{ {
cases = [ cases = [
(range "8.17" "8.20") (range "8.17" "8.20")
(isGe "2.0.0") (range "2.0.0" "2.2.0")
]; ];
out = "0.2.0"; out = "0.2.0";
} }

4
pkgs/development/coq-modules/extructures/default.nix
View file

@ -20,14 +20,14 @@
{ {
cases = [ cases = [
(range "8.17" "9.0") (range "8.17" "9.0")
(isGe "2.0.0") (range "2.0.0" "2.3.0")
]; ];
out = "0.5.0"; out = "0.5.0";
} }
{ {
cases = [ cases = [
(range "8.17" "8.20") (range "8.17" "8.20")
(isGe "2.0.0") (range "2.0.0" "2.3.0")
]; ];
out = "0.4.0"; out = "0.4.0";
} }

4
pkgs/development/coq-modules/graph-theory/default.nix
View file

@ -6,7 +6,7 @@
mathcomp-finmap, mathcomp-finmap,
mathcomp-algebra-tactics, mathcomp-algebra-tactics,
fourcolor, fourcolor,
hierarchy-builder, stdlib,
version ? null, version ? null,
}: }:
@ -71,7 +71,7 @@ mkCoqDerivation {
mathcomp.fingroup mathcomp.fingroup
mathcomp-algebra-tactics mathcomp-algebra-tactics
fourcolor fourcolor
hierarchy-builder stdlib
]; ];
meta = with lib; { meta = with lib; {

2
pkgs/development/coq-modules/jasmin/default.nix
View file

@ -21,7 +21,7 @@ mkCoqDerivation {
{ {
cases = [ cases = [
(range "8.19" "9.0") (range "8.19" "9.0")
(range "2.2" "2.3") (range "2.2" "2.4")
]; ];
out = "2025.02.0"; out = "2025.02.0";
} }

2
pkgs/development/coq-modules/mathcomp-finmap/default.nix
View file

@ -23,7 +23,7 @@ mkCoqDerivation {
{ {
cases = [ cases = [
(range "8.16" "9.0") (range "8.16" "9.0")
(isGe "2.0") (range "2.0" "2.3")
]; ];
out = "2.1.0"; out = "2.1.0";
} }

2
pkgs/development/coq-modules/mathcomp-tarjan/default.nix
View file

@ -25,7 +25,7 @@ mkCoqDerivation {
{ {
cases = [ cases = [
(range "8.16" "9.0") (range "8.16" "9.0")
(isGe "2.0.0") (range "2.0.0" "2.3.0")
]; ];
out = "1.0.2"; out = "1.0.2";
} }

5
pkgs/development/coq-modules/mathcomp/default.nix
View file

@ -34,6 +34,10 @@ let
inherit (lib.versions) range; inherit (lib.versions) range;
in in
lib.switch coq.coq-version [ lib.switch coq.coq-version [
{
case = range "8.20" "9.0";
out = "2.4.0";
}
{ {
case = range "8.19" "9.0"; case = range "8.19" "9.0";
out = "2.3.0"; out = "2.3.0";
@ -108,6 +112,7 @@ let
} }
] null; ] null;
release = { release = {
"2.4.0".sha256 = "sha256-A1XgLLwZRvKS8QyceCkSQa7ue6TYyf5fMft5gSx9NOs=";
"2.3.0".sha256 = "sha256-wa6OBig8rhAT4iwupSylyCAMhO69rADa0MQIX5zzL+Q="; "2.3.0".sha256 = "sha256-wa6OBig8rhAT4iwupSylyCAMhO69rADa0MQIX5zzL+Q=";
"2.2.0".sha256 = "sha256-SPyWSI5kIP5w7VpgnQ4vnK56yEuWnJylNQOT7M77yoQ="; "2.2.0".sha256 = "sha256-SPyWSI5kIP5w7VpgnQ4vnK56yEuWnJylNQOT7M77yoQ=";
"2.1.0".sha256 = "sha256-XDLx0BIkVRkSJ4sGCIE51j3rtkSGemNTs/cdVmTvxqo="; "2.1.0".sha256 = "sha256-XDLx0BIkVRkSJ4sGCIE51j3rtkSGemNTs/cdVmTvxqo=";

2
pkgs/development/coq-modules/multinomials/default.nix
View file

@ -27,7 +27,7 @@ mkCoqDerivation {
{ {
cases = [ cases = [
(range "8.17" "9.0") (range "8.17" "9.0")
(isGe "2.1.0") (range "2.1.0" "2.3.0")
]; ];
out = "2.3.0"; out = "2.3.0";
} }

2
pkgs/development/coq-modules/reglang/default.nix
View file

@ -26,7 +26,7 @@ mkCoqDerivation {
{ {
cases = [ cases = [
(range "8.16" "9.0") (range "8.16" "9.0")
(isGe "2.0.0") (range "2.0.0" "2.3.0")
]; ];
out = "1.2.1"; out = "1.2.1";
} }

2
pkgs/development/coq-modules/ssprove/default.nix
View file

@ -24,7 +24,7 @@
{ {
cases = [ cases = [
(range "8.18" "8.20") (range "8.18" "8.20")
"2.3.0" (range "2.3.0" "2.3.0")
]; ];
out = "0.2.3"; out = "0.2.3";
} }