talexander/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Releases Activity

coqPackages.metacoq: 1.3.4-8.20 -> 1.3.4-9.0

Browse Source
This commit is contained in:
Pierre Roux 2025-02-11 14:43:45 +01:00 committed by Vincent Laporte
parent dc9ccaf403
commit 2085f632ea
2 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/development/coq-modules/ElmExtraction/default.nix
View File

@ -25,7 +25,7 @@ mkCoqDerivation {
[ [
{ {
cases = [ cases = [
(range "8.17" "9.0") (range "8.17" "8.20")
(range "1.3.1" "1.3.4") (range "1.3.1" "1.3.4")
]; ];
out = "0.1.0"; out = "0.1.0";

5
pkgs/development/coq-modules/metacoq/default.nix
View File

@ -49,6 +49,10 @@ let
case = "8.20"; case = "8.20";
out = "1.3.4-8.20"; out = "1.3.4-8.20";
} }
{
case = "9.0";
out = "1.3.4-9.0";
}
] null; ] null;
release = { release = {
"1.0-beta2-8.11".sha256 = "sha256-I9YNk5Di6Udvq5/xpLSNflfjRyRH8fMnRzbo3uhpXNs="; "1.0-beta2-8.11".sha256 = "sha256-I9YNk5Di6Udvq5/xpLSNflfjRyRH8fMnRzbo3uhpXNs=";
@ -69,6 +73,7 @@ let
"1.3.2-8.20".sha256 = "sha256-4J7Ly4Fc2E/I6YqvzTLntVVls5t94OUOjVMKJyyJdw8="; "1.3.2-8.20".sha256 = "sha256-4J7Ly4Fc2E/I6YqvzTLntVVls5t94OUOjVMKJyyJdw8=";
"1.3.3-8.19".sha256 = "sha256-SBTv49zQXZ+oGvIqWM53hjBKru9prFgZRv8gVgls40k="; "1.3.3-8.19".sha256 = "sha256-SBTv49zQXZ+oGvIqWM53hjBKru9prFgZRv8gVgls40k=";
"1.3.4-8.20".sha256 = "sha256-ofRP0Uo48G2LBuIy/5ZLyK+iVZXleKiwfMEBD0rX9fQ="; "1.3.4-8.20".sha256 = "sha256-ofRP0Uo48G2LBuIy/5ZLyK+iVZXleKiwfMEBD0rX9fQ=";
"1.3.4-9.0".sha256 = "sha256-BiAeuwL6WvDNs+ZGzPWj59kTS69J4kjrS3XIZyzpLOQ=";
}; };
releaseRev = v: "v${v}"; releaseRev = v: "v${v}";