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

rocqPackages.rocq-elpi: 3.0.0 -> 3.1.0

Browse Source
This commit is contained in:
Pierre Roux
2025-09-08 07:00:31 +02:00
committed by Vincent Laporte
parent b63a009065
commit 403640aa9e
2 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/coq-modules/mathcomp-algebra-tactics/default.nix
+2
View File
@@ -32,6 +32,7 @@ mkCoqDerivation {
lib.switch
[ coq.coq-version mathcomp-algebra.version ]
[
(case (range "8.20" "9.1") (isGe "2.4") "1.2.7")
(case (range "8.20" "9.1") (isGe "2.4") "1.2.6")
(case (range "8.20" "9.1") (isGe "2.4") "1.2.5")
(case (range "8.16" "9.0") (isGe "2.0") "1.2.4")
@@ -48,6 +49,7 @@ mkCoqDerivation {
release."1.2.4".sha256 = "sha256-BRxt0LGPz2u3kJRjcderaZqCfs8M8qKAAwNSWmIck7Q=";
release."1.2.5".sha256 = "sha256-wTfe+g7ljWs1S+g02VQutnJGLVIOzNX1lm1HTMXeUUA=";
release."1.2.6".sha256 = "sha256-D7EEiLeCJMgxsYvlAFyL7QZyx/KJAKesVE+vyfzqzkU=";
release."1.2.7".sha256 = "sha256-pCal3BPZ85SMAsEFAXRWWV7nuriHGWtyfNocJqsEmLk=";
propagatedBuildInputs = [
mathcomp-ssreflect
pkgs/development/rocq-modules/rocq-elpi/default.nix
+2 -2
View File
@@ -17,7 +17,7 @@ let
in
with lib.versions;
lib.switch rocq-core.rocq-version [
(case (range "9.0" "9.1") "3.0.1")
(case (range "9.0" "9.1") "3.3.0")
(case (range "9.0" "9.1") "2.0.7")
] { };
elpi = rocq-core.ocamlPackages.elpi.override { version = default-elpi-version; };
@@ -36,7 +36,7 @@ let
in
with lib.versions;
lib.switch rocq-core.rocq-version [
(case (range "9.0" "9.1") "3.0.0")
(case (range "9.0" "9.1") "3.1.0")
(case (range "9.0" "9.1") "2.6.0")
(case ("9.0") "2.5.2")
] null;