Commit a5a738b0 authored by Pierre Roux's avatar Pierre Roux Committed by Vincent Laporte
Browse files

coqPackages.mathcomp: 2.2.0 -> 2.3.0

parent 893757b4

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

+8 −0
Original line number Diff line number Diff line
@@ -20,6 +20,13 @@ 
    lib.switch

      [ coq.version mathcomp.version ]

      [

        {

          cases = [

            (range "8.16" "8.20")

            (isGe "2.1.0")

          ];

          out = "2.0.3";

        }

        {

          cases = [

            (range "8.16" "8.20")
@@ -79,6 +86,7 @@ 
      ]

      null;



  release."2.0.3".sha256 = "sha256-5lDq7IWlEW0EkNzYPu+dA6KOvRgy53W/alikpDr/Kd0=";

  release."2.0.1".sha256 = "sha256-d/IQ4IdS2tpyPewcGobj2S6m2HU+iXQmlvR+ITNIcjI=";

  release."2.0.0".sha256 = "sha256-SG/KVnRJz2P+ZxkWVp1dDOnc/JVgigoexKfRUh1Y0GM";

  release."1.1.3".sha256 = "sha256-xhqWpg86xbU1GbDtXXInNCTArjjPnWZctWiiasq1ScU=";

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

+8 −0
Original line number Diff line number Diff line
@@ -16,6 +16,13 @@ mkCoqDerivation { 
    lib.switch

      [ coq.coq-version ssreflect.version ]

      [

        {

          cases = [

            (range "8.17" "8.20")

            (isGe "2.0.0")

          ];

          out = "0.2.1";

        }

        {

          cases = [

            (range "8.17" "8.20")
@@ -35,6 +42,7 @@ mkCoqDerivation { 


  releaseRev = v: "v${v}";



  release."0.2.1".sha256 = "sha256-053bNa3rcy0fCs9CQoKPxDLXnKRHzteyClLDURpaZJo=";

  release."0.2.0".sha256 = "sha256-xPsuEayHstjF0PGFJZJ+5cm0oMUrpoGLXN23op97vjM=";

  release."0.1.1".sha256 = "sha256-Gu8aInLxTXfAFE0/gWRYI046Dx3Gv1j1+gx92v/UnPI=";

  release."0.1.0".sha256 = "sha256:11crnjm8hyis1qllkks3d7r07s1rfzwvyvpijya3s6iqfh8c7xwh";

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

+8 −0
Original line number Diff line number Diff line
@@ -17,6 +17,13 @@ 
    lib.switch

      [ coq.coq-version ssreflect.version ]

      [

        {

          cases = [

            (range "8.17" "8.20")

            (isGe "2.0.0")

          ];

          out = "0.5.0";

        }

        {

          cases = [

            (range "8.17" "8.20")
@@ -50,6 +57,7 @@ 


  releaseRev = v: "v${v}";



  release."0.5.0".sha256 = "sha256-Guu2+tmHym52DA6SB5Rq/rYWIQEl47Q7YvMaUkfOH2k=";

  release."0.4.0".sha256 = "sha256-hItFO2XY2LTPSofPTKt3AfOEfiLliaYdzUXgDv4ea9Y=";

  release."0.3.1".sha256 = "sha256-KcuG/11Yq5ACem4FyVnQqHKvy3tNK7hd0ir2SJzzMN0=";

  release."0.3.0".sha256 = "sha256:14rm0726f1732ldds495qavg26gsn30w6dfdn36xb12g5kzavp38";

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

+1 −1
Original line number Diff line number Diff line
@@ -27,7 +27,7 @@ mkCoqDerivation { 
        {

          cases = [

            (range "8.16" "8.20")

            (range "2.0" "2.2")

            (range "2.0" "2.3")

          ];

          out = "2.2";

        }

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

+1 −1
Original line number Diff line number Diff line
@@ -29,7 +29,7 @@ mkCoqDerivation { 
        {

          cases = [

            (range "8.16" "8.19")

            (range "2.0.0" "2.2.0")

            (range "2.0.0" "2.3.0")

          ];

          out = "0.9.4";

        }