BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Merge pull request #275608 from proux01/coq_8_19

Browse source 
coq_8_19: init at 8.19+rc1
This commit is contained in:
Vincent Laporte 2023-12-20 11:06:56 +01:00 committed by GitHub
commit b0d34692a2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
18 changed files with 21 additions and 15 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

@ -56,6 +56,7 @@ let
"8.17.0".sha256 = "sha256-TGwm7S6+vkeZ8cidvp8pkiAd9tk008jvvPvYgfEOXhM=";
"8.17.1".sha256 = "sha256-x+RwkbxMg9aR0L3WSCtpIz8jwA5cJA4tXAtHMZb20y4=";
"8.18.0".sha256 = "sha256-WhiBs4nzPHQ0R24xAdM49kmxSCPOxiOVMA1iiMYunz4=";
"8.19+rc1".sha256 = "sha256-hQ57tLj8lXTbMrW+F0skPtzpHJnXbqPIc/EzocRV5qo=";
};
releaseRev = v: "V${v}";
fetched = import ../../../../build-support/coq/meta-fetch/default.nix

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

@ -5,7 +5,7 @@ mkCoqDerivation {
owner = "uwplse";
inherit version;
defaultVersion = with lib.versions; lib.switch coq.version [
{ case = range "8.14" "8.18"; out = "20230107"; }
{ case = range "8.14" "8.19"; out = "20230107"; }
{ case = range "8.6" "8.16"; out = "20200201"; }
] null;
release."20230107".rev = "bad8ad2476e14df6b5a819b7aaddc27a7c53fb69";

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

@ -5,7 +5,7 @@ mkCoqDerivation {
owner = "DistributedComponents";
inherit version;
defaultVersion = with lib.versions; lib.switch coq.version [
{ case = range "8.9" "8.18"; out = "20230107"; }
{ case = range "8.9" "8.19"; out = "20230107"; }
{ case = range "8.5" "8.16"; out = "20200131"; }
] null;
release."20230107".rev = "601e89ec019501c48c27fcfc14b9a3c70456e408";

2
pkgs/development/coq-modules/LibHyps/default.nix
View file

@ -4,7 +4,7 @@ mkCoqDerivation {
pname = "LibHyps";
owner = "Matafou";
inherit version;
defaultVersion = if (lib.versions.range "8.11" "8.18") coq.version then "2.0.4.1" else null;
defaultVersion = if (lib.versions.range "8.11" "8.19") coq.version then "2.0.4.1" else null;
release = {
"2.0.4.1".sha256 = "09p89701zhrfdmqlpxw3mziw8yylj1w1skb4b0xpbdwd1vsn4k3h";
};

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

@ -5,7 +5,7 @@ mkCoqDerivation {
owner = "uwplse";
inherit version;
defaultVersion = with lib.versions; lib.switch coq.coq-version [
{ case = range "8.9" "8.18"; out = "20230107"; }
{ case = range "8.9" "8.19"; out = "20230107"; }
{ case = range "8.6" "8.16"; out = "20210328"; }
{ case = range "8.5" "8.13"; out = "20181102"; }
] null;

3
pkgs/development/coq-modules/bignums/default.nix
View file

@ -5,10 +5,11 @@ mkCoqDerivation {
owner = "coq";
inherit version;
defaultVersion = with lib.versions; lib.switch coq.coq-version [
{ case = range "8.13" "8.18"; out = "9.0.0+coq${coq.coq-version}"; }
{ case = range "8.13" "8.19"; out = "9.0.0+coq${coq.coq-version}"; }
{ case = range "8.6" "8.17"; out = "${coq.coq-version}.0"; }
] null;
release."9.0.0+coq8.19".sha256 = "sha256-02uL+qWbUveHe67zKfc8w3U0iN3X2DKBsvP3pKpW8KQ=";
release."9.0.0+coq8.18".sha256 = "sha256-vLeJ0GNKl4M84Uj2tAwlrxJOSR6VZoJQvdlDhxJRge8=";
release."9.0.0+coq8.17".sha256 = "sha256-Mn85LqxJKPDIfpxRef9Uh5POwOKlTQ7jsMVz1wnQwuY=";
release."9.0.0+coq8.16".sha256 = "sha256-pwFTl4Unr2ZIirAB3HTtfhL2YN7G/Pg88RX9AhKWXbE=";

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

@ -8,7 +8,7 @@ mkCoqDerivation {
inherit version;
defaultVersion = with lib.versions; lib.switch coq.version [
{ case = range "8.14" "8.18"; out = "0.4.1"; }
{ case = range "8.14" "8.19"; out = "0.4.1"; }
{ case = range "8.8" "8.16"; out = "0.4.0"; }
] null;
release."0.4.1".sha256 = "sha256-9vyk8/8IVsqNyhw3WPzl8w3L9Wu7gfaMVa3n2nWjFiA=";

2
pkgs/development/coq-modules/coq-ext-lib/default.nix
View file

@ -5,7 +5,7 @@ mkCoqDerivation rec {
owner = "coq-ext-lib";
inherit version;
defaultVersion = with lib.versions; lib.switch coq.coq-version [
{ case = range "8.11" "8.18"; out = "0.12.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"; }
{ case = range "8.8" "8.13"; out = "0.11.3"; }

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

@ -5,7 +5,7 @@
owner = "tchajed";
inherit version;
defaultVersion = with lib.versions; lib.switch coq.coq-version [
{ case = range "8.10" "8.18"; out = "0.3.1"; }
{ case = range "8.10" "8.19"; out = "0.3.1"; }
] null;
release."0.3.1".sha256 = "sha256-DyGxO2tqmYZZluXN6Oy5Tw6fuLMyuyxonj8CCToWKkk=";
release."0.3.0".sha256 = "1ffr21dd6hy19gxnvcd4if2450iksvglvkd6q5713fajd72hmc0z";

2
pkgs/development/coq-modules/corn/default.nix
View file

@ -4,10 +4,10 @@ mkCoqDerivation rec {
pname = "corn";
inherit version;
defaultVersion = with lib.versions; lib.switch coq.coq-version [
{ case = "8.6"; out = "8.8.1"; }
{ case = (range "8.14" "8.18"); out = "8.18.0"; }
{ case = (range "8.11" "8.17"); out = "8.16.0"; }
{ case = (range "8.7" "8.15"); out = "8.13.0"; }
{ case = "8.6"; out = "8.8.1"; }
] null;
release = {
"8.8.1".sha256 = "0gh32j0f18vv5lmf6nb87nr5450w6ai06rhrnvlx2wwi79gv10wp";

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

@ -19,7 +19,7 @@ let
owner = "math-comp";
withDoc = single && (args.withDoc or false);
defaultVersion = with versions; lib.switch coq.coq-version [
{ case = isGe "8.17"; out = "1.18.0"; }
{ case = range "8.17" "8.18"; out = "1.18.0"; }
{ case = range "8.15" "8.18"; out = "1.17.0"; }
{ case = range "8.16" "8.18"; out = "2.1.0"; }
{ case = range "8.16" "8.18"; out = "2.0.0"; }

3
pkgs/development/coq-modules/paramcoq/default.nix
View file

@ -4,10 +4,11 @@ mkCoqDerivation {
pname = "paramcoq";
inherit version;
defaultVersion = with lib.versions; lib.switch coq.version [
{ case = range "8.10" "8.18"; out = "1.1.3+coq${coq.coq-version}"; }
{ case = range "8.10" "8.19"; out = "1.1.3+coq${coq.coq-version}"; }
{ case = range "8.7" "8.13"; out = "1.1.2+coq${coq.coq-version}"; }
] null;
displayVersion = { paramcoq = "..."; };
release."1.1.3+coq8.19".sha256 = "sha256-5NVsdLXaoz6qrr5ra5YfoHeuK4pEf8JX/X9+SZA0U+U=";
release."1.1.3+coq8.18".sha256 = "sha256-hNBaj9hB+OzwXsOX+TOXtDLjA5oP4EmEgseLwxFxW+I=";
release."1.1.3+coq8.17".sha256 = "sha256-m8QGGuwj1lHzDprf4LHgAuzwfoblxtDIHunHBdpmiuM=";
release."1.1.3+coq8.16".sha256 = "sha256-K7/8hXH6DwiW7Gw41sgQF8UDAO3c32xBGWQQapzG8Mo=";

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

@ -11,7 +11,7 @@ mkCoqDerivation {
inherit version;
defaultVersion = with lib.versions; lib.switch coq.version [
{ case = range "8.14" "8.18"; out = "0.1.2"; }
{ case = range "8.14" "8.19"; out = "0.1.2"; }
{ case = range "8.12" "8.16"; out = "0.1.1"; }
{ case = range "8.12" "8.13"; out = "0.1.0"; }
] null;

2
pkgs/development/coq-modules/pocklington/default.nix
View file

@ -9,7 +9,7 @@ mkCoqDerivation {
inherit version;
defaultVersion = with lib.versions; lib.switch coq.coq-version [
{ case = isGe "8.7"; out = "8.12.0"; }
{ case = range "8.7" "8.18"; out = "8.12.0"; }
] null;
meta = with lib; {

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

@ -6,7 +6,7 @@
repo = "coq-simple-io";
inherit version;
defaultVersion = with lib.versions; lib.switch coq.coq-version [
{ case = range "8.11" "8.18"; out = "1.8.0"; }
{ case = range "8.11" "8.19"; out = "1.8.0"; }
{ case = range "8.7" "8.13"; out = "1.3.0"; }
] null;
release."1.8.0".sha256 = "sha256-3ADNeXrBIpYRlfUW+LkLHUWV1w1HFrVc/TZISMuwvRY=";

2
pkgs/development/coq-modules/zorns-lemma/default.nix
View file

@ -18,7 +18,7 @@
inherit version;
defaultVersion = with lib.versions; lib.switch coq.coq-version [
{ case = range "8.12" "8.18"; out = "10.2.0"; }
{ case = range "8.12" "8.19"; out = "10.2.0"; }
{ case = range "8.10" "8.16"; out = "9.0.0"; }
{ case = "8.9"; out = "8.9.0"; }
{ case = "8.8"; out = "8.8.0"; }

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

@ -39524,6 +39524,7 @@ with pkgs;
coqPackages_8_16 coq_8_16
coqPackages_8_17 coq_8_17
coqPackages_8_18 coq_8_18
coqPackages_8_19 coq_8_19
coqPackages coq
;

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

@ -189,6 +189,7 @@ in rec {
coq_8_16 = mkCoq "8.16";
coq_8_17 = mkCoq "8.17";
coq_8_18 = mkCoq "8.18";
coq_8_19 = mkCoq "8.19";
coqPackages_8_5 = mkCoqPackages coq_8_5 // { __attrsFailEvaluation = true; };
coqPackages_8_6 = mkCoqPackages coq_8_6 // { __attrsFailEvaluation = true; };
@ -204,6 +205,7 @@ in rec {
coqPackages_8_16 = mkCoqPackages coq_8_16 // { __attrsFailEvaluation = true; };
coqPackages_8_17 = mkCoqPackages coq_8_17 // { __attrsFailEvaluation = true; };
coqPackages_8_18 = mkCoqPackages coq_8_18 // { __attrsFailEvaluation = true; };
coqPackages_8_19 = mkCoqPackages coq_8_19 // { __attrsFailEvaluation = true; };
coqPackages =
let cp = recurseIntoAttrs coqPackages_8_18;
in cp // { coqPackages = cp.coqPackages // { __attrsFailEvaluation = true; }; } // { __recurseIntoDerivationForReleaseJobs = true; };