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

coq_9_0: init at 9.0+rc1

Browse Source
This commit is contained in:
Pierre Roux 2025-01-24 17:13:12 +01:00 committed by Vincent Laporte
parent a90a018d2f
commit c683a77656
38 changed files with 56 additions and 44 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
pkgs/applications/science/logic/coq/default.nix
View File

@ -60,6 +60,7 @@ let
"8.19.2".sha256 = "sha256-q+i07JsMZp83Gqav6v1jxsgPLN7sPvp5/oszVnavmz0=";
"8.20.0".sha256 = "sha256-WFpZlA6CzFVAruPhWcHQI7VOBVhrGLdFzWrHW0DTSl0=";
"8.20.1".sha256 = "sha256-nRaLODPG4E3gUDzGrCK40vhl4+VhPyd+/fXFK/HC3Ig=";
"9.0+rc1".sha256 = "sha256-TLq925HFdizxyHjKRMeHBH9rLRpLNUiVIfA1JSMgYXA=";
};
releaseRev = v: "V${v}";
fetched = import ../../../../build-support/coq/meta-fetch/default.nix

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

@ -14,7 +14,7 @@ mkCoqDerivation {
with lib.versions;
lib.switch coq.version [
{
case = range "8.14" "8.20";
case = range "8.14" "9.0";
out = "20230107";
}
{

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

@ -14,7 +14,7 @@ mkCoqDerivation {
with lib.versions;
lib.switch coq.version [
{
case = range "8.14" "8.20";
case = range "8.14" "9.0";
out = "1.8.5";
}
{

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

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

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

@ -4,7 +4,7 @@ mkCoqDerivation rec {
pname = "coq-ext-lib";
inherit version;
defaultVersion = with lib.versions; lib.switch coq.coq-version [
{ case = range "8.14" "8.20"; out = "0.13.0"; }
{ case = range "8.14" "9.0"; out = "0.13.0"; }
{ case = range "8.11" "8.19"; out = "0.12.0"; }
{ case = range "8.8" "8.16"; out = "0.11.6"; }
{ case = range "8.8" "8.14"; out = "0.11.4"; }

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

@ -14,7 +14,7 @@ mkCoqDerivation rec {
defaultVersion =
with lib.versions;
lib.switch coq.version [
{ case = range "8.13" "8.20"; out = "5.2.0+20241009"; }
{ case = range "8.13" "9.0"; out = "5.2.0+20241009"; }
{ case = range "8.10" "8.16"; out = "4.0.0"; }
] null;
release."5.2.0+20241009".sha256 = "sha256-eg47YgnIonCq7XOUgh9uzoKsuFCvsOSTZhgFLNNcPD0=";

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

@ -14,7 +14,7 @@ mkCoqDerivation {
with lib.versions;
lib.switch coq.version [
{
case = range "8.9" "8.20";
case = range "8.9" "9.0";
out = "20230107";
}
{

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

@ -16,7 +16,7 @@ let
with lib.versions;
lib.switch coq.coq-version [
{
case = range "8.12" "8.20";
case = range "8.12" "9.0";
out = "20240715";
}
{

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

@ -21,7 +21,7 @@ in
[
{
cases = [
(lib.versions.range "8.15" "8.20")
(lib.versions.range "8.15" "9.0")
lib.pred.true
];
out = "2.0.4";

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

@ -14,7 +14,7 @@ mkCoqDerivation {
with lib.versions;
lib.switch coq.coq-version [
{
case = range "8.9" "8.20";
case = range "8.9" "9.0";
out = "20230107";
}
{

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

@ -20,7 +20,7 @@ mkCoqDerivation {
with lib.versions;
lib.switch coq.coq-version [
{
case = range "8.14" "8.20";
case = range "8.14" "9.0";
out = "1.9";
}
{

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

@ -13,6 +13,10 @@ mkCoqDerivation {
defaultVersion =
with lib.versions;
lib.switch coq.coq-version [
{
case = range "9.0" "9.0";
out = "9.0.0+rocq${coq.coq-version}";
}
{
case = range "8.13" "8.20";
out = "9.0.0+coq${coq.coq-version}";
@ -23,6 +27,7 @@ mkCoqDerivation {
}
] null;
release."9.0.0+rocq9.0".sha256 = "sha256-ctnwpyNVhryEUA5YEsAImrcJsNMhtBgDSOz+z5Z4R78=";
release."9.0.0+coq8.20".sha256 = "sha256-pkvyDaMXRalc6Uu1eBTuiqTpRauRrzu946c6TavyTKY=";
release."9.0.0+coq8.19".sha256 = "sha256-02uL+qWbUveHe67zKfc8w3U0iN3X2DKBsvP3pKpW8KQ=";
release."9.0.0+coq8.18".sha256 = "sha256-vLeJ0GNKl4M84Uj2tAwlrxJOSR6VZoJQvdlDhxJRge8=";

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

@ -17,7 +17,7 @@ mkCoqDerivation {
with lib.versions;
lib.switch coq.version [
{
case = range "8.14" "8.20";
case = range "8.14" "9.0";
out = "0.4.1";
}
{

3
pkgs/development/coq-modules/coq-elpi/default.nix
View File

@ -21,6 +21,7 @@ default-elpi-version = if elpi-version != null then elpi-version else (
{ case = "8.18"; out = "1.18.1"; }
{ case = "8.19"; out = "1.18.1"; }
{ case = "8.20"; out = "1.19.2"; }
{ case = "9.0"; out = "2.0.7"; }
] { }
);
elpi = coq.ocamlPackages.elpi.override { version = default-elpi-version; };
@ -34,6 +35,7 @@ derivation = mkCoqDerivation {
owner = "LPCIC";
inherit version;
defaultVersion = lib.switch coq.coq-version [
{ case = "9.0"; out = "2.4.0"; }
{ case = "8.20"; out = "2.2.0"; }
{ case = "8.19"; out = "2.0.1"; }
{ case = "8.18"; out = "2.0.0"; }
@ -45,6 +47,7 @@ derivation = mkCoqDerivation {
{ case = "8.12"; out = "1.8.3_8.12"; }
{ case = "8.11"; out = "1.6.3_8.11"; }
] null;
release."2.4.0".sha256 = "sha256-W2+vVGExLLux8e0nSZESSoMVvrLxhL6dmXkb+JuKiqc=";
release."2.2.0".sha256 = "sha256-rADEoqTXM7/TyYkUKsmCFfj6fjpWdnZEOK++5oLfC/I=";
release."2.0.1".sha256 = "sha256-cuoPsEJ+JRLVc9Golt2rJj4P7lKltTrrmQijjoViooc=";
release."2.0.0".sha256 = "sha256-A/cH324M21k3SZ7+YWXtaYEbu6dZQq3K0cb1RMKjbsM=";

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

@ -13,7 +13,7 @@ mkCoqDerivation rec {
with lib.versions;
lib.switch coq.coq-version [
{
case = range "8.10" "8.20";
case = range "8.10" "9.0";
out = "0.3.4";
}
] null;

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

@ -17,7 +17,7 @@ mkCoqDerivation rec {
inherit (coq) src;
release."${coq.version}" = { };
defaultVersion = if lib.versions.isGe "8.14" coq.version then coq.version else null;
defaultVersion = if lib.versions.range "8.14" "8.20" coq.version then coq.version else null;
preConfigure = ''
patchShebangs dev/tools/

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

@ -18,7 +18,7 @@ mkCoqDerivation {
[
{
cases = [
(range "8.17" "8.20")
(range "8.17" "9.0")
(isGe "2.0.0")
];
out = "0.2.1";

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

@ -19,7 +19,7 @@
[
{
cases = [
(range "8.17" "8.20")
(range "8.17" "9.0")
(isGe "2.0.0")
];
out = "0.5.0";

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

@ -26,7 +26,7 @@ mkCoqDerivation {
[
{
cases = [
(range "8.16" "8.20")
(range "8.16" "9.0")
(range "2.0" "2.3")
];
out = "2.2";

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

@ -5,6 +5,7 @@ let hb = mkCoqDerivation {
owner = "math-comp";
inherit version;
defaultVersion = with lib.versions; lib.switch coq.coq-version [
{ case = range "9.0" "9.0"; out = "1.8.1"; }
{ case = range "8.19" "8.20"; out = "1.8.0"; }
{ case = range "8.18" "8.20"; out = "1.7.1"; }
{ case = range "8.16" "8.18"; out = "1.6.0"; }
@ -14,6 +15,7 @@ let hb = mkCoqDerivation {
{ case = range "8.12" "8.13"; out = "1.1.0"; }
{ case = isEq "8.11"; out = "0.10.0"; }
] null;
release."1.8.1".sha256 = "sha256-Z0WAHDyycqgL+Le/zNfEAoLWzFb7WIL+3G3vEBExlb4=";
release."1.8.0".sha256 = "sha256-4s/4ZZKj5tiTtSHGIM8Op/Pak4Vp52WVOpd4l9m19fY=";
release."1.7.1".sha256 = "sha256-MCmOzMh/SBTFAoPbbIQ7aqd3hMcSMpAKpiZI7dbRaGs=";
release."1.7.0".sha256 = "sha256-WqSeuJhmqicJgXw/xGjGvbRzfyOK7rmkVRb6tPDTAZg=";

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

@ -15,7 +15,7 @@ mkCoqDerivation rec {
with lib.versions;
lib.switch coq.coq-version [
{
case = range "8.19" "8.20";
case = range "8.19" "9.0";
out = "4.3.0";
}
{

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

@ -19,7 +19,7 @@
in
lib.switch coq.coq-version [
{
case = range "8.14" "8.20";
case = range "8.14" "9.0";
out = "0.2.0";
}
{

5
pkgs/development/coq-modules/mathcomp-algebra-tactics/default.nix
View File

@ -24,10 +24,10 @@ mkCoqDerivation {
[
{
cases = [
(range "8.16" "8.20")
(range "8.16" "9.0")
(isGe "2.0")
];
out = "1.2.3";
out = "1.2.4";
}
{
cases = [
@ -57,6 +57,7 @@ mkCoqDerivation {
release."1.1.1".sha256 = "sha256-5wItMeeTRoJlRBH3zBNc2VUZn6pkDde60YAvXTx+J3U=";
release."1.2.2".sha256 = "sha256-EU9RJGV3BvnmsX+mGH+6+MDXiGHgDI7aP5sIYiMUXTs=";
release."1.2.3".sha256 = "sha256-6uc1VEfDv+fExEfBR2c0/Q/KjrkX0TbEMCLgeYcpkls=";
release."1.2.4".sha256 = "sha256-BRxt0LGPz2u3kJRjcderaZqCfs8M8qKAAwNSWmIck7Q=";
propagatedBuildInputs = [
mathcomp-algebra

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

@ -18,14 +18,15 @@ mkCoqDerivation {
release = {
"1.0.0".sha256 = "10g0gp3hk7wri7lijkrqna263346wwf6a3hbd4qr9gn8hmsx70wg";
"1.0.1".sha256 = "sha256:02f4dv4rz72liciwxb2k7acwx6lgqz4381mqyq5854p3nbyn06aw";
"1.0.2".sha256 = "sha256-fJ/5xr91VtvpIoaFwb3PlnKl6UHG6GEeBRVGZrVLMU0=";
};
inherit version;
defaultVersion =
with lib.versions;
lib.switch coq.version [
{
case = range "8.10" "8.20";
out = "1.0.1";
case = range "8.10" "9.0";
out = "1.0.2";
}
{
case = range "8.5" "8.14";

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

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

4
pkgs/development/coq-modules/mathcomp-real-closed/default.nix
View File

@ -37,14 +37,14 @@ mkCoqDerivation {
[
{
cases = [
(isGe "8.17")
(range "8.17" "9.0")
(isGe "2.1.0")
];
out = "2.0.2";
}
{
cases = [
(isGe "8.17")
(range "8.17" "8.20")
(isGe "2.0.0")
];
out = "2.0.1";

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

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

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

@ -61,7 +61,7 @@ mkCoqDerivation {
[
{
cases = [
(range "8.16" "8.20")
(range "8.16" "9.0")
(isGe "2.0")
];
out = "3.2";

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

@ -25,7 +25,7 @@ mkCoqDerivation rec {
[
{
cases = [
(range "8.16" "8.20")
(range "8.16" "9.0")
(isGe "2.0.0")
];
out = "1.5.0+2.0+8.16";

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

@ -20,7 +20,7 @@ let
withDoc = single && (args.withDoc or false);
defaultVersion = let inherit (lib.versions) range; in
lib.switch coq.coq-version [
{ case = range "8.19" "8.20"; out = "2.3.0"; }
{ case = range "8.19" "9.0"; out = "2.3.0"; }
{ case = range "8.17" "8.20"; out = "2.2.0"; }
{ case = range "8.17" "8.18"; out = "2.1.0"; }
{ case = range "8.17" "8.18"; out = "2.0.0"; }

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

@ -13,7 +13,7 @@ mkCoqDerivation {
defaultVersion =
with lib.versions;
lib.switch coq.coq-version [
{ case = range "8.13" "8.20"; out = "4.2.2"; }
{ case = range "8.13" "9.0"; out = "4.2.2"; }
{ case = range "8.12" "8.17"; out = "4.1.2"; }
{ case = range "8.9" "8.13"; out = "4.1.1"; }
{ case = range "8.6" "8.13"; out = "4.0.2"; }

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

@ -24,7 +24,7 @@ mkCoqDerivation {
with lib.versions;
lib.switch coq.version [
{
case = range "8.14" "8.20";
case = range "8.14" "9.0";
out = "0.2.0";
}
{

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

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

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

@ -16,7 +16,7 @@
with lib.versions;
lib.switch coq.coq-version [
{
case = range "8.17" "8.20";
case = range "8.17" "9.0";
out = "1.10.0";
}
{

16
pkgs/development/coq-modules/stdlib/default.nix
View File

@ -14,17 +14,13 @@
inherit version;
defaultVersion =
with lib.versions;
lib.switch
[ coq.version ]
[
{
cases = [ (isLt "8.21") ];
out = "8.20";
}
]
null;
releaseRev = v: "v${v}";
lib.switch coq.version [
{ case = isEq "9.0"; out = "9.0+rc1"; }
{ case = isLt "8.21"; out = "8.20"; }
] null;
releaseRev = v: "V${v}";
release."9.0+rc1".sha256 = "sha256-raHwniQdpAX1HGlMofM8zVeXcmlUs+VJZZg5VF43k/M=";
release."8.20".sha256 = "sha256-AcoS4edUYCfJME1wx8UbuSQRF3jmxhArcZyPIoXcfu0=";
useDune = true;

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

@ -15,7 +15,7 @@ mkCoqDerivation rec {
with lib.versions;
lib.switch coq.coq-version [
{
case = range "8.19" "8.20";
case = range "8.19" "9.0";
out = "1.11.0";
}
{

1
pkgs/top-level/all-packages.nix
View File

@ -17142,6 +17142,7 @@ with pkgs;
coqPackages_8_18 coq_8_18
coqPackages_8_19 coq_8_19
coqPackages_8_20 coq_8_20
coqPackages_9_0 coq_9_0
coqPackages coq
;

2
pkgs/top-level/coq-packages.nix
View File

@ -235,6 +235,7 @@ in rec {
coq_8_18 = mkCoq "8.18";
coq_8_19 = mkCoq "8.19";
coq_8_20 = mkCoq "8.20";
coq_9_0 = mkCoq "9.0";
coqPackages_8_5 = mkCoqPackages coq_8_5;
coqPackages_8_6 = mkCoqPackages coq_8_6;
@ -252,6 +253,7 @@ in rec {
coqPackages_8_18 = mkCoqPackages coq_8_18;
coqPackages_8_19 = mkCoqPackages coq_8_19;
coqPackages_8_20 = mkCoqPackages coq_8_20;
coqPackages_9_0 = mkCoqPackages coq_9_0;
coqPackages = recurseIntoAttrs coqPackages_8_20;
coq = coqPackages.coq;