nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-21 22:43:01 +00:00
Code Issues Packages Projects Releases Wiki Activity

coq_8_20: init at 8.20+rc1 (#323105)

Browse Source
This commit is contained in:
Pierre Roux 2024-06-28 15:47:38 +02:00 committed by GitHub
parent 20191a26f4
commit 971ef0c694
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
29 changed files with 33 additions and 25 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

@ -59,6 +59,7 @@ let
"8.19.0".sha256 = "sha256-ixsYCvCXpBHqJ71hLQklphlwoOO3i/6w2PJjllKqf9k=";
"8.19.1".sha256 = "sha256-kmZ8Uk8jpzjOd67aAPp3C+vU2oNaBw9pr7+Uixcgg94=";
"8.19.2".sha256 = "sha256-q+i07JsMZp83Gqav6v1jxsgPLN7sPvp5/oszVnavmz0=";
"8.20+rc1".sha256 = "sha256-OLGPMvvA3hc42zdgWSOnOkN0/WwzBpneUcUVRNcNVms=";
};
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.19"; out = "20230107"; }
{ case = range "8.14" "8.20"; out = "20230107"; }
{ case = range "8.6" "8.16"; out = "20200201"; }
] null;
release."20230107".rev = "bad8ad2476e14df6b5a819b7aaddc27a7c53fb69";

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

@ -5,7 +5,7 @@ mkCoqDerivation {
owner = "fblanqui";
inherit version;
defaultVersion = with lib.versions; lib.switch coq.version [
{case = range "8.14" "8.19"; out = "1.8.5"; }
{case = range "8.14" "8.20"; out = "1.8.5"; }
{case = range "8.12" "8.16"; out = "1.8.2"; }
{case = range "8.10" "8.11"; out = "1.7.0"; }
{case = range "8.8" "8.9"; out = "1.6.0"; }

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

@ -5,7 +5,7 @@ mkCoqDerivation rec {
owner = "DeepSpec";
inherit version;
defaultVersion = with lib.versions; lib.switch coq.version [
{ case = range "8.13" "8.19"; out = "5.1.2"; }
{ case = range "8.13" "8.20"; out = "5.1.2"; }
{ case = range "8.10" "8.16"; out = "4.0.0"; }
] null;
release."5.1.2".sha256 = "sha256-uKJIjNXGWl0YS0WH52Rnr9Jz98Eo2k0X0qWB9hUYJMk=";

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.19"; out = "20230107"; }
{ case = range "8.9" "8.20"; 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.19") coq.version then "2.0.8" else null;
defaultVersion = if (lib.versions.range "8.11" "8.20") coq.version then "2.0.8" else null;
release = {
"2.0.8".sha256 = "sha256-u8T7ZWfgYNFBsIPss0uUS0oBvdlwPp3t5yYIMjYzfLc=";
};

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.19"; out = "20230107"; }
{ case = range "8.9" "8.20"; out = "20230107"; }
{ case = range "8.6" "8.16"; out = "20210328"; }
{ case = range "8.5" "8.13"; out = "20181102"; }
] null;

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

@ -5,6 +5,7 @@ mkCoqDerivation {
releaseRev = v: "v${v}";
release."8.20.0".sha256 = "sha256-VQzeINIZAfP3Qyh29uPqcNVlNJfIzzRLtN0Cm4EuGCk=";
release."8.19.1".sha256 = "sha256-W/V57h+rjb3m0ktCG83PquMHfXiv6H1Nhvw9sVEPLqM=";
release."8.19.0".sha256 = "sha256-IeCBd8gcu4bAXH5I/XIT7neQIILi+EWR6qqAA4GzQD0=";
release."8.18.0".sha256 = "sha256-Vpe79qCyFLOdOtFFvLKR0N+MMpGD661Q01yx4gxRhZo=";
@ -25,6 +26,7 @@ mkCoqDerivation {
inherit version;
defaultVersion = with lib.versions; lib.switch coq.coq-version [
{ case = "8.20"; out = "8.20.0"; }
{ case = "8.19"; out = "8.19.1"; }
{ case = "8.18"; out = "8.18.0"; }
{ case = "8.17"; out = "8.17.0"; }

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.19"; out = "9.0.0+coq${coq.coq-version}"; }
{ case = range "8.13" "8.20"; 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.20".sha256 = "sha256-pkvyDaMXRalc6Uu1eBTuiqTpRauRrzu946c6TavyTKY=";
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=";

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.19"; out = "0.4.1"; }
{ case = range "8.14" "8.20"; 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-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.19"; out = "0.3.4"; }
{ case = range "8.10" "8.20"; out = "0.3.4"; }
] null;
release."0.3.4".sha256 = "sha256-AhEcugUiVIsgbq884Lur/bQIuGw8prk+3AlNkP1omcw=";
release."0.3.3".sha256 = "sha256-HDIPeFHiC9EwhiOH7yMGJ9d2zJMhboTpRGf9kWcB9Io=";

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

@ -6,7 +6,7 @@ mkCoqDerivation {
owner = "thery";
inherit version;
defaultVersion = with lib.versions; lib.switch coq.coq-version [
{ case = range "8.14" "8.19"; out = "8.18"; }
{ case = range "8.14" "8.20"; out = "8.18"; }
{ case = range "8.12" "8.16"; out = "8.15"; }
{ case = range "8.10" "8.11"; out = "8.10"; }
{ case = range "8.8" "8.9"; out = "8.8"; }

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

@ -4,7 +4,7 @@ mkCoqDerivation rec {
pname = "corn";
inherit version;
defaultVersion = with lib.versions; lib.switch coq.coq-version [
{ case = (range "8.17" "8.19"); out = "8.19.0"; }
{ case = (range "8.17" "8.20"); out = "8.19.0"; }
{ 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"; }

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

@ -9,7 +9,7 @@ mkCoqDerivation {
inherit version;
defaultVersion = with lib.versions; lib.switch [coq.coq-version ssreflect.version] [
{ cases = [(range "8.17" "8.19") (isGe "2.0.0")] ; out = "0.2.0"; }
{ cases = [(range "8.11" "8.19") (isLe "2.0.0")] ; out = "0.1.1"; }
{ cases = [(range "8.11" "8.20") (isLe "2.0.0")] ; out = "0.1.1"; }
] null;
releaseRev = v: "v${v}";

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

@ -10,7 +10,7 @@
inherit version;
defaultVersion = with lib.versions; lib.switch [coq.coq-version ssreflect.version] [
{ cases = [(range "8.17" "8.19") (isGe "2.0.0") ]; out = "0.4.0"; }
{ cases = [(range "8.11" "8.19") (range "1.12.0" "1.19.0") ]; out = "0.3.1"; }
{ cases = [(range "8.11" "8.20") (range "1.12.0" "1.19.0") ]; out = "0.3.1"; }
{ cases = [(range "8.11" "8.14") (isLe "1.12.0") ]; out = "0.3.0"; }
{ cases = [(range "8.10" "8.12") (isLe "1.12.0") ]; out = "0.2.2"; }
] null;

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

@ -5,7 +5,7 @@ mkCoqDerivation {
pname = "math-classes";
inherit version;
defaultVersion = with lib.versions; lib.switch coq.coq-version [
{ case = range "8.17" "8.19"; out = "8.19.0"; }
{ case = range "8.17" "8.20"; out = "8.19.0"; }
{ case = range "8.12" "8.18"; out = "8.18.0"; }
{ case = range "8.12" "8.17"; out = "8.17.0"; }
{ case = range "8.6" "8.16"; out = "8.15.0"; }

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

@ -12,7 +12,7 @@ mkCoqDerivation {
};
inherit version;
defaultVersion = with lib.versions; lib.switch coq.version [
{ case = range "8.10" "8.19"; out = "1.0.1"; }
{ case = range "8.10" "8.20"; out = "1.0.1"; }
{ case = range "8.5" "8.14"; out = "1.0.0"; }
] null;

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

@ -9,7 +9,7 @@ mkCoqDerivation {
defaultVersion = with lib.versions; lib.switch [ coq.version mathcomp.version ] [
{ cases = [ (range "8.16" "8.19") (isGe "2.0") ]; out = "2.1.0"; }
{ cases = [ (range "8.16" "8.18") (range "2.0" "2.1") ]; out = "2.0.0"; }
{ cases = [ (range "8.13" "8.19") (range "1.12" "1.19") ]; out = "1.5.2"; }
{ cases = [ (range "8.13" "8.20") (range "1.12" "1.19") ]; out = "1.5.2"; }
{ cases = [ (isGe "8.10") (range "1.11" "1.17") ]; out = "1.5.1"; }
{ cases = [ (range "8.7" "8.11") "1.11.0" ]; out = "1.5.0"; }
{ cases = [ (isEq "8.11") (range "1.8" "1.10") ]; out = "1.4.0+coq-8.11"; }

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

@ -21,7 +21,7 @@ mkCoqDerivation {
defaultVersion = with lib.versions; lib.switch [ coq.version mathcomp.version ] [
{ cases = [ (isGe "8.16") (isGe "2.0.0") ]; out = "2.0.0"; }
{ cases = [ (isGe "8.13") (range "1.13.0" "1.19.0") ]; out = "1.1.4"; }
{ cases = [ (range "8.13" "8.19") (range "1.13.0" "1.19.0") ]; out = "1.1.4"; }
{ cases = [ (isGe "8.13") (range "1.12.0" "1.18.0") ]; out = "1.1.3"; }
{ cases = [ (isGe "8.10") (range "1.12.0" "1.18.0") ]; out = "1.1.2"; }
{ cases = [ (isGe "8.7") "1.11.0" ]; out = "1.1.1"; }

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

@ -30,7 +30,7 @@ mkCoqDerivation {
inherit version;
defaultVersion = with lib.versions; lib.switch [ coq.version mathcomp.version ] [
{ cases = [ (range "8.16" "8.19") (isGe "2.0") ]; out = "3.2"; }
{ cases = [ (range "8.12" "8.19") (range "1.12" "1.19") ]; out = "2.4"; }
{ cases = [ (range "8.12" "8.20") (range "1.12" "1.19") ]; out = "2.4"; }
] null;
propagatedBuildInputs = [ mathcomp.algebra mathcomp.ssreflect mathcomp.fingroup ];

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

@ -10,7 +10,7 @@ mkCoqDerivation rec {
defaultVersion = with lib.versions;
lib.switch [ coq.coq-version mathcomp-algebra.version ] [
{ cases = [ (range "8.16" "8.19") (isGe "2.0.0") ]; out = "1.5.0+2.0+8.16"; }
{ cases = [ (range "8.13" "8.19") (range "1.12" "1.19.0") ]; out = "1.3.0+1.12+8.13"; }
{ cases = [ (range "8.13" "8.20") (range "1.12" "1.19.0") ]; out = "1.3.0+1.12+8.13"; }
{ cases = [ (range "8.13" "8.16") (range "1.12" "1.17.0") ]; out = "1.1.0+1.12+8.13"; }
] null;

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.19"; out = "1.19.0"; }
{ case = range "8.19" "8.20"; out = "1.19.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.19"; out = "2.2.0"; }

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

@ -5,7 +5,7 @@ mkCoqDerivation {
owner = "snu-sf";
inherit version;
defaultVersion = with lib.versions; lib.switch coq.coq-version [
{ case = range "8.13" "8.19"; out = "4.2.0"; }
{ case = range "8.13" "8.20"; out = "4.2.0"; }
{ 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"; }

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.19"; out = "1.1.3+coq${coq.coq-version}"; }
{ case = range "8.10" "8.20"; 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.20".sha256 = "sha256-34xDOz/2xO39fnQW6Zb9CI2EKFuJZjrAdOpMEmwuzY0=";
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=";

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.19"; out = "0.1.2"; }
{ case = range "8.14" "8.20"; 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/reglang/default.nix
View File

@ -14,7 +14,7 @@ mkCoqDerivation {
defaultVersion = with lib.versions; lib.switch [ coq.coq-version mathcomp.version ] [
{ cases = [ (range "8.16" "8.19") (isGe "2.0.0") ]; out = "1.2.1"; }
{ cases = [ (range "8.16" "8.18") (range "2.0.0" "2.1.0") ]; out = "1.2.0"; }
{ cases = [ (range "8.10" "8.19") (isLt "2.0.0") ]; out = "1.1.3"; }
{ cases = [ (range "8.10" "8.20") (isLt "2.0.0") ]; out = "1.1.3"; }
] null;

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.19"; out = "10.2.0"; }
{ case = range "8.12" "8.20"; 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

@ -38218,6 +38218,7 @@ with pkgs;
coqPackages_8_17 coq_8_17
coqPackages_8_18 coq_8_18
coqPackages_8_19 coq_8_19
coqPackages_8_20 coq_8_20
coqPackages coq
;

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

@ -200,6 +200,7 @@ in rec {
coq_8_17 = mkCoq "8.17";
coq_8_18 = mkCoq "8.18";
coq_8_19 = mkCoq "8.19";
coq_8_20 = mkCoq "8.20";
coqPackages_8_5 = mkCoqPackages coq_8_5 // { __attrsFailEvaluation = true; };
coqPackages_8_6 = mkCoqPackages coq_8_6 // { __attrsFailEvaluation = true; };
@ -216,6 +217,7 @@ in rec {
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_8_20 = mkCoqPackages coq_8_20 // { __attrsFailEvaluation = true; };
coqPackages =
let cp = recurseIntoAttrs coqPackages_8_19;
in cp // { coqPackages = cp.coqPackages // { __attrsFailEvaluation = true; }; } // { __recurseIntoDerivationForReleaseJobs = true; };