From 557f5ee714476918762c69c3bf01d087b970e9a2 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Thu, 8 Sep 2022 18:05:52 +0200 Subject: [PATCH 01/18] coqPackages.trakt: enable for Coq 8.16 --- pkgs/development/coq-modules/trakt/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/development/coq-modules/trakt/default.nix b/pkgs/development/coq-modules/trakt/default.nix index 96ba2f808a3b..f10e69cc4e90 100644 --- a/pkgs/development/coq-modules/trakt/default.nix +++ b/pkgs/development/coq-modules/trakt/default.nix @@ -10,7 +10,7 @@ mkCoqDerivation { inherit version; defaultVersion = with versions; switch [ coq.version ] [ - { cases = [ (range "8.13" "8.15") ]; out = "1.0"; } + { cases = [ (range "8.13" "8.16") ]; out = "1.0"; } ] null; propagatedBuildInputs = [ coq-elpi ]; From 3359e6ba27020ce02c047049429a4c6f27610739 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Thu, 8 Sep 2022 18:06:17 +0200 Subject: [PATCH 02/18] coqPackages.reglang: enable for Coq 8.16 --- pkgs/development/coq-modules/reglang/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/development/coq-modules/reglang/default.nix b/pkgs/development/coq-modules/reglang/default.nix index 847ebb7808be..2d83cbfd883f 100644 --- a/pkgs/development/coq-modules/reglang/default.nix +++ b/pkgs/development/coq-modules/reglang/default.nix @@ -10,7 +10,7 @@ mkCoqDerivation { inherit version; defaultVersion = with versions; switch coq.coq-version [ - { case = range "8.10" "8.15"; out = "1.1.2"; } + { case = range "8.10" "8.16"; out = "1.1.2"; } ] null; From 4bdd2be57422449d2e234169c6fbbe8a71bcca2e Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Thu, 8 Sep 2022 18:06:20 +0200 Subject: [PATCH 03/18] coqPackages.mathcomp-zify: enable for Coq 8.16 --- pkgs/development/coq-modules/mathcomp-zify/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/development/coq-modules/mathcomp-zify/default.nix b/pkgs/development/coq-modules/mathcomp-zify/default.nix index 2e2593669f32..1ac1d928738b 100644 --- a/pkgs/development/coq-modules/mathcomp-zify/default.nix +++ b/pkgs/development/coq-modules/mathcomp-zify/default.nix @@ -9,7 +9,7 @@ with lib; mkCoqDerivation rec { defaultVersion = with versions; switch [ coq.coq-version mathcomp-algebra.version ] [ - { cases = [ (range "8.13" "8.15") (isGe "1.12") ]; out = "1.1.0+1.12+8.13"; } + { cases = [ (range "8.13" "8.16") (isGe "1.12") ]; out = "1.1.0+1.12+8.13"; } ] null; release."1.0.0+1.12+8.13".sha256 = "1j533vx6lacr89bj1bf15l1a0s7rvrx4l00wyjv99aczkfbz6h6k"; From 2611f23722b8d5ddf7014e144cd552e669ee77a8 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Thu, 8 Sep 2022 18:06:23 +0200 Subject: [PATCH 04/18] coqPackages.mathcomp-word: enable for Coq 8.16 --- pkgs/development/coq-modules/mathcomp-word/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/development/coq-modules/mathcomp-word/default.nix b/pkgs/development/coq-modules/mathcomp-word/default.nix index 463c5e5f5e9d..f39fbe0ac6a6 100644 --- a/pkgs/development/coq-modules/mathcomp-word/default.nix +++ b/pkgs/development/coq-modules/mathcomp-word/default.nix @@ -15,7 +15,7 @@ mkCoqDerivation { inherit version; defaultVersion = with versions; switch [ coq.version mathcomp.version ] [ - { cases = [ (range "8.12" "8.15") (isGe "1.12") ]; out = "1.1"; } + { cases = [ (range "8.12" "8.16") (isGe "1.12") ]; out = "1.1"; } ] null; propagatedBuildInputs = [ mathcomp.algebra mathcomp.ssreflect mathcomp.fingroup ]; From 215ba1b3d38b6a311c022446976244e7808d47c1 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Thu, 8 Sep 2022 18:06:26 +0200 Subject: [PATCH 05/18] coqPackages.mathcomp-tarjan: enable for Coq 8.16 --- pkgs/development/coq-modules/mathcomp-tarjan/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/development/coq-modules/mathcomp-tarjan/default.nix b/pkgs/development/coq-modules/mathcomp-tarjan/default.nix index 35e9398f3ad7..706ee0686922 100644 --- a/pkgs/development/coq-modules/mathcomp-tarjan/default.nix +++ b/pkgs/development/coq-modules/mathcomp-tarjan/default.nix @@ -9,7 +9,7 @@ with lib; mkCoqDerivation { inherit version; defaultVersion = with versions; switch [ coq.version mathcomp-ssreflect.version ] [{ - cases = [ (range "8.10" "8.15") (isGe "1.12.0") ]; out = "1.0.0"; + cases = [ (range "8.10" "8.16") (isGe "1.12.0") ]; out = "1.0.0"; }] null; release."1.0.0".sha256 = "sha256:0r459r0makshzwlygw6kd4lpvdjc43b3x5y9aa8x77f2z5gymjq1"; From d8318a75d57b0fb9a7a87b40147f5b597b0e3f81 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Thu, 8 Sep 2022 18:06:29 +0200 Subject: [PATCH 06/18] coqPackages.coquelicot: enable for Coq 8.16 --- pkgs/development/coq-modules/coquelicot/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/development/coq-modules/coquelicot/default.nix b/pkgs/development/coq-modules/coquelicot/default.nix index e139eda77fae..09327f2ff76c 100644 --- a/pkgs/development/coq-modules/coquelicot/default.nix +++ b/pkgs/development/coq-modules/coquelicot/default.nix @@ -7,7 +7,7 @@ with lib; mkCoqDerivation { domain = "gitlab.inria.fr"; inherit version; defaultVersion = with versions; switch coq.coq-version [ - { case = range "8.8" "8.15"; out = "3.2.0"; } + { case = range "8.8" "8.16"; out = "3.2.0"; } { case = range "8.8" "8.13"; out = "3.1.0"; } { case = range "8.5" "8.9"; out = "3.0.2"; } ] null; From 1b0eaf4d3a088859e89b4476f8528c9130e6e0ac Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Thu, 8 Sep 2022 18:06:32 +0200 Subject: [PATCH 07/18] coqPackages.itauto: init at 8.16.0 --- pkgs/development/coq-modules/itauto/default.nix | 2 ++ 1 file changed, 2 insertions(+) diff --git a/pkgs/development/coq-modules/itauto/default.nix b/pkgs/development/coq-modules/itauto/default.nix index 151a0511c806..1ffa37ec6c32 100644 --- a/pkgs/development/coq-modules/itauto/default.nix +++ b/pkgs/development/coq-modules/itauto/default.nix @@ -6,11 +6,13 @@ mkCoqDerivation rec { owner = "fbesson"; domain = "gitlab.inria.fr"; + release."8.16.0".sha256 = "sha256-4zAUYGlw/pBcLPv2GroIduIlvbfi1+Vy+TdY8KLCqO4="; release."8.15.0".sha256 = "sha256:10qpv4nx1p0wm9sas47yzsg9z22dhvizszfa21yff08a8fr0igya"; release."8.14.0".sha256 = "sha256:1k6pqhv4dwpkwg81f2rlfg40wh070ks1gy9r0ravm2zhsbxqcfc9"; release."8.13+no".sha256 = "sha256-gXoxtLcHPoyjJkt7WqvzfCMCQlh6kL2KtCGe3N6RC/A="; inherit version; defaultVersion = with versions; switch coq.coq-version [ + { case = isEq "8.16"; out = "8.16.0"; } { case = isEq "8.15"; out = "8.15.0"; } { case = isEq "8.14"; out = "8.14.0"; } { case = isEq "8.13"; out = "8.13+no"; } From 9ad12d1d8c5311f50df5ecd8922f4d8eff718a04 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Thu, 8 Sep 2022 18:06:34 +0200 Subject: [PATCH 08/18] coqPackages.graph-theory: enable for Coq 8.16 --- pkgs/development/coq-modules/graph-theory/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/development/coq-modules/graph-theory/default.nix b/pkgs/development/coq-modules/graph-theory/default.nix index 9ba5f03a5620..c2fca0a16a71 100644 --- a/pkgs/development/coq-modules/graph-theory/default.nix +++ b/pkgs/development/coq-modules/graph-theory/default.nix @@ -12,7 +12,7 @@ mkCoqDerivation { inherit version; defaultVersion = with versions; switch coq.coq-version [ - { case = range "8.13" "8.15"; out = "0.9"; } + { case = range "8.13" "8.16"; out = "0.9"; } ] null; propagatedBuildInputs = [ mathcomp-algebra mathcomp-finmap mathcomp-fingroup hierarchy-builder ]; From ac447c9772f07eded4dde3da36d1110c2aad1e53 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Thu, 8 Sep 2022 18:06:37 +0200 Subject: [PATCH 09/18] coqPackages.goedel: enable for Coq 8.16 --- pkgs/development/coq-modules/goedel/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/development/coq-modules/goedel/default.nix b/pkgs/development/coq-modules/goedel/default.nix index ecd154c82ed5..19efb786addf 100644 --- a/pkgs/development/coq-modules/goedel/default.nix +++ b/pkgs/development/coq-modules/goedel/default.nix @@ -12,7 +12,7 @@ mkCoqDerivation { inherit version; defaultVersion = with versions; switch coq.coq-version [ - { case = range "8.11" "8.15"; out = "8.13.0"; } + { case = range "8.11" "8.16"; out = "8.13.0"; } ] null; propagatedBuildInputs = [ hydra-battles pocklington ]; From bdc09cc2e13b256075f67d83b03f75282050f412 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Thu, 8 Sep 2022 18:06:41 +0200 Subject: [PATCH 10/18] coqPackages.gaia-hydras: enable for Coq 8.16 --- pkgs/development/coq-modules/gaia-hydras/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/development/coq-modules/gaia-hydras/default.nix b/pkgs/development/coq-modules/gaia-hydras/default.nix index d4bcaa8ef81f..ce254aff78bb 100644 --- a/pkgs/development/coq-modules/gaia-hydras/default.nix +++ b/pkgs/development/coq-modules/gaia-hydras/default.nix @@ -11,7 +11,7 @@ with lib; mkCoqDerivation rec { inherit version; defaultVersion = with versions; switch [coq.coq-version mathcomp.version] [ - { cases = [ (range "8.14" "8.15") (isGe "1.12.0") ]; out = "0.6"; } + { cases = [ (range "8.14" "8.16") (isGe "1.12.0") ]; out = "0.6"; } { cases = [ (range "8.13" "8.14") (isGe "1.12.0") ]; out = "0.5"; } ] null; From 0e6ea7d975f7d9243943337a50aeb70de38e6d38 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Thu, 8 Sep 2022 18:06:44 +0200 Subject: [PATCH 11/18] coqPackages.deriving: enable for Coq 8.16 --- pkgs/development/coq-modules/deriving/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/development/coq-modules/deriving/default.nix b/pkgs/development/coq-modules/deriving/default.nix index 9d823c0bf9e6..f08e86ccc4f8 100644 --- a/pkgs/development/coq-modules/deriving/default.nix +++ b/pkgs/development/coq-modules/deriving/default.nix @@ -9,7 +9,7 @@ mkCoqDerivation { inherit version; defaultVersion = with versions; switch coq.coq-version [ - { case = range "8.11" "8.15"; out = "0.1.0"; } + { case = range "8.11" "8.16"; out = "0.1.0"; } ] null; releaseRev = v: "v${v}"; From e8598c7982536900eeb72b37a3b829f9231f64c3 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Thu, 8 Sep 2022 18:06:47 +0200 Subject: [PATCH 12/18] coqPackages.extructures: enable for Coq 8.16 --- pkgs/development/coq-modules/extructures/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/development/coq-modules/extructures/default.nix b/pkgs/development/coq-modules/extructures/default.nix index 9fd2fb0b8bd8..2a038ff0c11a 100644 --- a/pkgs/development/coq-modules/extructures/default.nix +++ b/pkgs/development/coq-modules/extructures/default.nix @@ -10,7 +10,7 @@ with lib; inherit version; defaultVersion = with versions; switch [coq.coq-version ssreflect.version] [ - { cases = [(range "8.11" "8.15") (isGe "1.12.0") ]; out = "0.3.1"; } + { cases = [(range "8.11" "8.16") (isGe "1.12.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; From 6791c185dd63473b3670dff791cec4f85469d24e Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Thu, 8 Sep 2022 18:06:52 +0200 Subject: [PATCH 13/18] coqPackages.coqeal: enable for Coq 8.16 --- pkgs/development/coq-modules/coqeal/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/development/coq-modules/coqeal/default.nix b/pkgs/development/coq-modules/coqeal/default.nix index 4efc776e28da..d3a8e366a0a4 100644 --- a/pkgs/development/coq-modules/coqeal/default.nix +++ b/pkgs/development/coq-modules/coqeal/default.nix @@ -10,7 +10,7 @@ with lib; inherit version; defaultVersion = with versions; switch [ coq.version mathcomp.version ] [ - { cases = [ (range "8.13" "8.15") (isGe "1.13.0") ]; out = "1.1.1"; } + { cases = [ (range "8.13" "8.16") (isGe "1.13.0") ]; out = "1.1.1"; } { cases = [ (range "8.10" "8.15") (isGe "1.12.0") ]; out = "1.1.0"; } { cases = [ (isGe "8.10") (range "1.11.0" "1.12.0") ]; out = "1.0.5"; } { cases = [ (isGe "8.7") "1.11.0" ]; out = "1.0.4"; } From 0f25d8a02d25ff50ccd8a19c45793f759c9f074f Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Thu, 8 Sep 2022 18:06:55 +0200 Subject: [PATCH 14/18] coqPackages.coq-bits: enable for Coq 8.16 --- pkgs/development/coq-modules/coq-bits/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/development/coq-modules/coq-bits/default.nix b/pkgs/development/coq-modules/coq-bits/default.nix index 4f284e7c9492..a2ef7e09a7d6 100644 --- a/pkgs/development/coq-modules/coq-bits/default.nix +++ b/pkgs/development/coq-modules/coq-bits/default.nix @@ -5,7 +5,7 @@ with lib; mkCoqDerivation { repo = "bits"; inherit version; defaultVersion = with versions; switch coq.coq-version [ - { case = range "8.10" "8.15"; out = "1.1.0"; } + { case = range "8.10" "8.16"; out = "1.1.0"; } { case = range "8.7" "8.15"; out = "1.0.0"; } ] null; From 18aa936e0688e55231667300e57646e09c94700c Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Thu, 8 Sep 2022 18:06:57 +0200 Subject: [PATCH 15/18] coqPackages.autosubst: enable for Coq 8.16 --- pkgs/development/coq-modules/autosubst/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/development/coq-modules/autosubst/default.nix b/pkgs/development/coq-modules/autosubst/default.nix index dac52eb3124a..5a7331c22206 100644 --- a/pkgs/development/coq-modules/autosubst/default.nix +++ b/pkgs/development/coq-modules/autosubst/default.nix @@ -9,7 +9,7 @@ mkCoqDerivation { inherit version; defaultVersion = with versions; switch coq.coq-version [ - { case = range "8.10" "8.15"; out = "1.7"; } + { case = range "8.10" "8.16"; out = "1.7"; } ] null; propagatedBuildInputs = [ mathcomp-ssreflect ]; From 726422b4feb977ed73ef982ccd83759b521629f0 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Thu, 8 Sep 2022 18:07:00 +0200 Subject: [PATCH 16/18] coqPackages.addition-chains: enable for Coq 8.16 --- pkgs/development/coq-modules/addition-chains/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/development/coq-modules/addition-chains/default.nix b/pkgs/development/coq-modules/addition-chains/default.nix index 8a0248c952cb..8de9a8e411cd 100644 --- a/pkgs/development/coq-modules/addition-chains/default.nix +++ b/pkgs/development/coq-modules/addition-chains/default.nix @@ -13,7 +13,7 @@ mkCoqDerivation { inherit version; defaultVersion = with versions; switch coq.coq-version [ - { case = range "8.13" "8.15"; out = "0.6"; } + { case = range "8.13" "8.16"; out = "0.6"; } { case = range "8.11" "8.12"; out = "0.4"; } ] null; From 0b1099dc6df3b282b9c29c2bc02f2ac53c2d0d97 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Thu, 8 Sep 2022 18:07:02 +0200 Subject: [PATCH 17/18] coqPackages.aac-tactics: init at 8.16.0 --- pkgs/development/coq-modules/aac-tactics/default.nix | 2 ++ 1 file changed, 2 insertions(+) diff --git a/pkgs/development/coq-modules/aac-tactics/default.nix b/pkgs/development/coq-modules/aac-tactics/default.nix index 15b2e493b68e..90ddf3e524ff 100644 --- a/pkgs/development/coq-modules/aac-tactics/default.nix +++ b/pkgs/development/coq-modules/aac-tactics/default.nix @@ -6,6 +6,7 @@ mkCoqDerivation { releaseRev = v: "v${v}"; + release."8.16.0".sha256 = "sha256-sE1w8q/60adNF9yMJQO70CEk3D8QUopvgiszdHt5Wsw="; release."8.15.1".sha256 = "sha256:0k2sl3ns897a5ll11bazgpv4ppgi1vmx4n89v2dnxabm5dglyglp"; release."8.14.1".sha256 = "sha256:1w99jgm7mxwdxnalxhralmhmpwwbd52pbbifq0mx13ixkv6iqm1a"; release."8.14.0".sha256 = "04x47ngb95m1h4jw2gl0v79s5im7qimcw7pafc34gkkf51pyhakp"; @@ -21,6 +22,7 @@ mkCoqDerivation { inherit version; defaultVersion = with versions; switch coq.coq-version [ + { case = "8.16"; out = "8.16.0"; } { case = "8.15"; out = "8.15.1"; } { case = "8.14"; out = "8.14.1"; } { case = "8.13"; out = "8.13.2"; } From 9c0b43603a9450e67c56fda0f446a57227c88955 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Thu, 8 Sep 2022 18:07:09 +0200 Subject: [PATCH 18/18] coqPackages.Verdi: enable for Coq 8.16 --- pkgs/development/coq-modules/Verdi/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/development/coq-modules/Verdi/default.nix b/pkgs/development/coq-modules/Verdi/default.nix index 4d76331fb99a..190758855f78 100644 --- a/pkgs/development/coq-modules/Verdi/default.nix +++ b/pkgs/development/coq-modules/Verdi/default.nix @@ -6,7 +6,7 @@ with lib; mkCoqDerivation { owner = "uwplse"; inherit version; defaultVersion = with versions; switch coq.coq-version [ - { case = range "8.7" "8.15"; out = "20211026"; } + { case = range "8.7" "8.16"; out = "20211026"; } { case = range "8.7" "8.14"; out = "20210524"; } { case = range "8.7" "8.13"; out = "20200131"; } { case = "8.6"; out = "20181102"; }