gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

coq_8_17: init at 8.17+rc1 (#209145)

Browse Source
This commit is contained in:
Pierre Roux
2023-01-06 15:51:50 +01:00
committed by GitHub
parent 3d25245ddb
commit cc1d830b2a
10 changed files with 11 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/applications/science/logic/coq/default.nix
+1
View File
@@ -53,6 +53,7 @@ let
"8.15.2".sha256 = "sha256:0qibbvzrhsvs6w3zpkhyclndp29jnr6bs9i5skjlpp431jdjjfqd";
"8.16.0".sha256 = "sha256-3V6kL9j2rn5FHBxq1mtmWWTZS9X5cAyvtUsS6DaM+is=";
"8.16.1".sha256 = "sha256-n7830+zfZeyYHEOGdUo57bH6bb2/SZs8zv8xJhV+iAc=";
"8.17+rc1".sha256 = "sha256-BsVgYa2fAYqRmQNSaY/YSiZhqkmwM+xbE5T4FHOEqkc=";
};
releaseRev = v: "V${v}";
fetched = import ../../../../build-support/coq/meta-fetch/default.nix
pkgs/development/coq-modules/Cheerios/default.nix
+1 -1
View File
@@ -4,7 +4,7 @@ with lib; mkCoqDerivation {
pname = "cheerios";
owner = "uwplse";
inherit version;
defaultVersion = if versions.isGe "8.6" coq.version then "20200201" else null;
defaultVersion = if versions.range "8.6" "8.16" coq.version then "20200201" else null;
release."20200201".rev = "9c7f66e57b91f706d70afa8ed99d64ed98ab367d";
release."20200201".sha256 = "1h55s6lk47bk0lv5ralh81z55h799jbl9mhizmqwqzy57y8wqgs1";
pkgs/development/coq-modules/InfSeqExt/default.nix
+1 -1
View File
@@ -4,7 +4,7 @@ mkCoqDerivation {
pname = "InfSeqExt";
owner = "DistributedComponents";
inherit version;
defaultVersion = if lib.versions.isGe "8.5" coq.version then "20200131" else null;
defaultVersion = if lib.versions.range "8.5" "8.16" coq.version then "20200131" else null;
release."20200131".rev = "203d4c20211d6b17741f1fdca46dbc091f5e961a";
release."20200131".sha256 = "0xylkdmb2dqnnqinf3pigz4mf4zmczcbpjnn59g5g76m7f2cqxl0";
preConfigure = ''
pkgs/development/coq-modules/bignums/default.nix
+1
View File
@@ -8,6 +8,7 @@ with lib; mkCoqDerivation {
defaultVersion = if versions.isGe "8.6" coq.coq-version
then "${coq.coq-version}.0" else null;
release."8.17.0".sha256 = "sha256-MXYjqN86+3O4hT2ql62U83T5H03E/8ysH8erpvC/oyw=";
release."8.16.0".sha256 = "sha256-DH3iWwatPlhhCVYVlgL2WLkvneSVzSXUiKo2e0+1zR4=";
release."8.15.0".sha256 = "093klwlhclgyrba1iv18dyz1qp5f0lwiaa7y0qwvgmai8rll5fns";
release."8.14.0".sha256 = "0jsgdvj0ddhkls32krprp34r64y1rb5mwxl34fgaxk2k4664yq06";
pkgs/development/coq-modules/ceres/default.nix
+1 -1
View File
@@ -8,7 +8,7 @@ mkCoqDerivation {
owner = "Lysxia";
inherit version;
defaultVersion = if versions.isGe "8.8" coq.version then "0.4.0" else null;
defaultVersion = if versions.range "8.8" "8.16" coq.version then "0.4.0" else null;
release."0.4.0".sha256 = "sha256:0zwp3pn6fdj0qdig734zdczrls886al06mxqhhabms0jvvqijmbi";
meta = {
pkgs/development/coq-modules/mathcomp-bigenough/default.nix
+1 -1
View File
@@ -12,7 +12,7 @@ with lib; mkCoqDerivation {
};
inherit version;
defaultVersion = with versions; switch coq.version [
{ case = isGe "8.10" ; out = "1.0.1"; }
{ case = range "8.10" "8.16"; out = "1.0.1"; }
{ case = range "8.5" "8.14"; out = "1.0.0"; }
] null;
pkgs/development/coq-modules/topology/default.nix
+1 -1
View File
@@ -16,7 +16,7 @@ mkCoqDerivation rec {
inherit version;
defaultVersion = with versions; switch coq.coq-version [
{ case = isGe "8.10"; out = "9.0.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"; }
{ case = "8.7"; out = "8.7.0"; }
pkgs/development/coq-modules/zorns-lemma/default.nix
+1 -1
View File
@@ -17,7 +17,7 @@ with lib;
inherit version;
defaultVersion = with versions; switch coq.coq-version [
{ case = isGe "8.10"; out = "9.0.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"; }
{ case = "8.7"; out = "8.7.0"; }
pkgs/top-level/all-packages.nix
+1
View File
@@ -36132,6 +36132,7 @@ with pkgs;
coqPackages_8_14 coq_8_14
coqPackages_8_15 coq_8_15
coqPackages_8_16 coq_8_16
coqPackages_8_17 coq_8_17
coqPackages coq
;
pkgs/top-level/coq-packages.nix
+2
View File
@@ -161,6 +161,7 @@ in rec {
coq_8_14 = mkCoq "8.14";
coq_8_15 = mkCoq "8.15";
coq_8_16 = mkCoq "8.16";
coq_8_17 = mkCoq "8.17";
coqPackages_8_5 = mkCoqPackages coq_8_5;
coqPackages_8_6 = mkCoqPackages coq_8_6;
@@ -174,6 +175,7 @@ in rec {
coqPackages_8_14 = mkCoqPackages coq_8_14;
coqPackages_8_15 = mkCoqPackages coq_8_15;
coqPackages_8_16 = mkCoqPackages coq_8_16;
coqPackages_8_17 = mkCoqPackages coq_8_17;
coqPackages = recurseIntoAttrs coqPackages_8_16;
coq = coqPackages.coq;