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

rocqPackages.micromega-plugin: 1.1.0 -> 1.1.1

Browse Source
This commit is contained in:
Pierre Roux
2026-07-24 09:41:27 +02:00
parent 1870911b32
commit 54f8f8a829
7 changed files with 8 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/coq-modules/multinomials/default.nix
+1 -1
View File
@@ -33,7 +33,7 @@ mkCoqDerivation {
lib.switch
[ coq.coq-version mathcomp.version ]
[
(case (range "9.0" "9.2") (range "2.6.0" "2.6.0") "2.5.0") # also works on MC 2.4 and 2.5 but breaks validsdp
(case (range "9.0" "9.3") (range "2.6.0" "2.6.0") "2.5.0") # also works on MC 2.4 and 2.5 but breaks validsdp
(case (range "8.18" "9.1") (range "2.1.0" "2.5.0") "2.4.0")
(case (range "8.17" "9.0") (range "2.1.0" "2.3.0") "2.3.0")
(case (range "8.17" "8.20") (isGe "2.1.0") "2.2.0")
pkgs/development/coq-modules/odd-order/default.nix
+1 -1
View File
@@ -34,7 +34,7 @@ mkCoqDerivation {
lib.switch
[ coq.coq-version mathcomp-character.version ]
[
(case (range "9.1" "9.2") (range "2.5" "2.6") "2.4.0")
(case (range "9.1" "9.3") (range "2.5" "2.6") "2.4.0")
(case (range "9.0" "9.1") (range "2.5" "2.5") "2.3.0")
(case (range "8.16" "9.1") (range "2.2.0" "2.4.0") "2.2.0")
(case (range "8.16" "9.0") (range "2.1.0" "2.3.0") "2.1.0")
pkgs/development/rocq-modules/mathcomp-bigenough/default.nix
+1 -1
View File
@@ -25,7 +25,7 @@ mkRocqDerivation {
in
with lib.versions;
lib.switch rocq-core.rocq-version [
(case (range "9.0" "9.2") "1.0.4")
(case (range "9.0" "9.3") "1.0.4")
] null;
propagatedBuildInputs = [ mathcomp-boot ];
pkgs/development/rocq-modules/mathcomp-finmap/default.nix
+1 -1
View File
@@ -29,7 +29,7 @@ mkRocqDerivation {
lib.switch
[ rocq-core.rocq-version mathcomp-boot.version ]
[
(case (range "9.2" "9.2") (range "2.5" "2.6") "2.2.4") # also compiles on Rocq 9.0 and 9.1 (but requires graph-theory update)
(case (range "9.2" "9.3") (range "2.5" "2.6") "2.2.4") # also compiles on Rocq 9.0 and 9.1 (but requires graph-theory update)
(case (range "9.0" "9.1") (range "2.3" "2.5") "2.2.2")
]
null;
pkgs/development/rocq-modules/mathcomp-real-closed/default.nix
+1 -1
View File
@@ -35,7 +35,7 @@ mkRocqDerivation {
lib.switch
[ rocq-core.version mathcomp.version ]
[
(case (range "9.0" "9.2") (isGe "2.6.0") "2.0.6")
(case (range "9.0" "9.3") (isGe "2.6.0") "2.0.6")
(case (range "9.0" "9.2") (isEq "2.5.0") "2.0.5")
]
null;
pkgs/development/rocq-modules/mathcomp/default.nix
+1 -1
View File
@@ -35,7 +35,7 @@ let
inherit (lib.versions) range;
in
lib.switch rocq-core.rocq-version [
(case (range "9.2" "9.2") "2.6.0") # also compiles on Rocq 9.0 and 9.1
(case (range "9.2" "9.3") "2.6.0") # also compiles on Rocq 9.0 and 9.1
(case (range "9.0" "9.1") "2.5.0")
] null;
release = {
pkgs/development/rocq-modules/micromega-plugin/default.nix
+2
View File
@@ -15,10 +15,12 @@ mkRocqDerivation {
in
with lib.versions;
lib.switch rocq-core.rocq-version [
(case (range "9.0" "9.3") "1.1.1")
(case (range "9.0" "9.2") "1.1.0")
] null;
release = {
"1.1.1".hash = "sha256-TIUbrMRoPkLx3QcBGTAEdnzqt4HcKOHaQwJWUtBXUQA=";
"1.1.0".hash = "sha256-CWMbGErC5bu20Yu9eskgslLkzmSof6klNlOYEkQjUjc=";
};
releaseRev = v: "v${v}";