cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

Merge pull request #225975 from vbgl/coq-8.17.0

Browse source
This commit is contained in:
Artturi 2023-04-16 01:19:27 +03:00 committed by GitHub
commit 4ab0cbca72
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
9 changed files with 9 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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.16") coq.version then "2.0.4.1" else null;
defaultVersion = if (lib.versions.range "8.11" "8.17") coq.version then "2.0.4.1" else null;
release = {
"2.0.4.1".sha256 = "09p89701zhrfdmqlpxw3mziw8yylj1w1skb4b0xpbdwd1vsn4k3h";
};

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

@ -12,7 +12,7 @@ mkCoqDerivation {
inherit version;
defaultVersion = with lib.versions; lib.switch coq.coq-version [
{ case = range "8.13" "8.16"; out = "0.6"; }
{ case = range "8.13" "8.17"; out = "0.6"; }
{ case = range "8.11" "8.12"; out = "0.4"; }
] null;

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

@ -17,7 +17,7 @@ mkCoqDerivation {
inherit version;
defaultVersion = with lib.versions; lib.switch coq.coq-version [
{ case = range "8.14" "8.16"; out = "1.0.0"; }
{ case = range "8.14" "8.17"; out = "1.0.0"; }
{ case = range "8.10" "8.15"; out = "20211213"; }
{ case = range "8.8" "8.9"; out = "20190414"; }
{ case = range "8.6" "8.7"; out = "20180709"; }

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.16"; out = "0.3.1"; }
{ case = range "8.10" "8.17"; out = "0.3.1"; }
] null;
release."0.3.1".sha256 = "sha256-DyGxO2tqmYZZluXN6Oy5Tw6fuLMyuyxonj8CCToWKkk=";
release."0.3.0".sha256 = "1ffr21dd6hy19gxnvcd4if2450iksvglvkd6q5713fajd72hmc0z";

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

@ -5,7 +5,7 @@ mkCoqDerivation {
owner = "plclub";
inherit version;
defaultVersion = with lib.versions; lib.switch coq.coq-version [
{ case = range "8.14" "8.16"; out = "8.15"; }
{ case = range "8.14" "8.17"; out = "8.15"; }
{ case = range "8.10" "8.13"; out = "8.10"; }
] null;
releaseRev = v: "coq${v}";

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

@ -15,7 +15,7 @@ mkCoqDerivation rec {
inherit version;
defaultVersion = with lib.versions; lib.switch coq.coq-version [
{ case = range "8.10" "8.16"; out = "8.14.0"; }
{ case = range "8.10" "8.17"; out = "8.14.0"; }
{ case = "8.9"; out = "8.9.0"; }
{ case = "8.8"; out = "8.8.0"; }
{ case = "8.7"; out = "8.7.0"; }

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

@ -9,7 +9,7 @@ mkCoqDerivation {
inherit version;
defaultVersion = with lib.versions; lib.switch [ coq.version ] [
{ cases = [ (range "8.13" "8.16") ]; out = "1.0"; }
{ cases = [ (range "8.13" "8.17") ]; out = "1.0"; }
] null;
propagatedBuildInputs = [ coq-elpi ];

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

@ -14507,7 +14507,7 @@ with pkgs;
comby = callPackage ../development/tools/comby { };
inherit (coqPackages) compcert;
inherit (coqPackages_8_16) compcert;
computecpp-unwrapped = callPackage ../development/compilers/computecpp { };
computecpp = wrapCCWith rec {

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

@ -183,7 +183,7 @@ in rec {
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;
coqPackages = recurseIntoAttrs coqPackages_8_17;
coq = coqPackages.coq;
}