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

coqPackages.deriving: 0.2.1 -> 0.2.2

parent 0d66b565

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

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

      [ coq.coq-version ssreflect.version ]

      [

        {

          cases = [

            (range "8.17" "9.0")

            (range "2.0.0" "2.4.0")

          ];

          out = "0.2.2";

        }

        {

          cases = [

            (range "8.17" "9.0")
@@ -43,6 +50,7 @@ mkCoqDerivation { 


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



  release."0.2.2".sha256 = "sha256-qsbyQ4spg5vVLZkechb2LoBazGjMh7pR9sSS0s7tXxs=";

  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=";

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

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

          cases = [

            (range "8.17" "9.0")

            (range "2.0.0" "2.3.0")

            (range "2.0.0" "2.4.0")

          ];

          out = "0.5.0";

        }