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

rocqPackages.rocq-elpi: 3.4.0 -> 3.5.0 (#545143)

Browse Source
This commit is contained in:
Vincent Laporte
2026-07-24 09:20:00 +00:00
committed by GitHub
parent 8c1d4dd32e 54f8f8a829
commit a76040f2df
10 changed files with 13 additions and 9 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/hierarchy-builder/default.nix
+1 -1
View File
@@ -17,7 +17,7 @@ let
in
with lib.versions;
lib.switch rocq-core.rocq-version [
(case (range "9.0" "9.2") "1.10.3")
(case (range "9.0" "9.3") "1.10.3")
(case (range "9.0" "9.1") "1.10.2")
(case (range "9.0" "9.1") "1.10.0")
(case (range "9.0" "9.1") "1.9.1")
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}";
pkgs/development/rocq-modules/rocq-elpi/default.nix
+3 -1
View File
@@ -17,7 +17,7 @@ let
in
with lib.versions;
lib.switch rocq-core.rocq-version [
(case (range "9.0" "9.2") "3.7.1")
(case (range "9.0" "9.3") "3.7.1")
(case (range "9.0" "9.1") "3.4.5")
(case (range "9.0" "9.1") "2.0.7")
] rocq-core.ocamlPackages.elpi.version;
@@ -37,11 +37,13 @@ let
in
with lib.versions;
lib.switch rocq-core.rocq-version [
(case (range "9.0" "9.3") "3.5.0")
(case (range "9.0" "9.2") "3.4.0")
(case (range "9.0" "9.1") "3.2.0")
(case (range "9.0" "9.1") "2.6.0")
(case "9.0" "2.5.2")
] null;
release."3.5.0".sha256 = "sha256-k6kbkFRngQmKUP0owiFOxJzdJVRte5IlZWG4Tpqd3YU=";
release."3.4.0".sha256 = "sha256-8x2Sa/+pUpXEqB+NdyfOyw6Yyzp6Q1k5LnhrjG/qJNM=";
release."3.3.0".sha256 = "sha256-wcsUpw7S+H9CaXuz+W3g22IFWO2cLllJ4xm2qLTG0nM=";
release."3.2.0".sha256 = "sha256-FyYG/8lEyt1L/paMez8jYAnnUE+sxIp4Da5MztmwJ/c=";
pkgs/development/rocq-modules/rocqnavi/default.nix
+1 -1
View File
@@ -17,7 +17,7 @@ mkRocqDerivation {
in
with versions;
switch rocq-core.rocq-version [
(case (range "9.0" "9.2") "0.5.0")
(case (range "9.0" "9.3") "0.5.0")
] null;
release = {
"0.5.0".hash = "sha256-pmK4gD5ccerjr2UVgwGIVbjH/RiXdYQq79/XFetiHZg=";