Unverified Commit 0697e32a authored by Vincent Laporte's avatar Vincent Laporte
Browse files

coqPackages_8_17: enable a few packages for Coq 8.17

parent 6302147d

pkgs/development/coq-modules/LibHyps/default.nix

+1 −1
Original line number Diff line number Diff line
@@ -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";

  };

pkgs/development/coq-modules/addition-chains/default.nix

+1 −1
Original line number Diff line number Diff line
@@ -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;

pkgs/development/coq-modules/category-theory/default.nix

+1 −1
Original line number Diff line number Diff line
@@ -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"; }

pkgs/development/coq-modules/coq-record-update/default.nix

+1 −1
Original line number Diff line number Diff line
@@ -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";

pkgs/development/coq-modules/metalib/default.nix

+1 −1
Original line number Diff line number Diff line
@@ -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}";