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

coqPackages.multinomials: 2.3.0 -> 2.4.0

parent bc496691

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

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

      [ coq.version mathcomp.version ]

      [

        {

          cases = [

            (range "8.18" "9.0")

            (range "2.1.0" "2.4.0")

          ];

          out = "2.4.0";

        }

        {

          cases = [

            (range "8.17" "9.0")
@@ -111,6 +118,7 @@ mkCoqDerivation { 
      ]

      null;

  release = {

    "2.4.0".sha256 = "sha256-7zfIddRH+Sl4nhEPtS/lMZwRUZI45AVFpcC/UC8Z0Yo=";

    "2.3.0".sha256 = "sha256-usIcxHOAuN+f/j3WjVbPrjz8Hl9ac8R6kYeAKi3CEts=";

    "2.2.0".sha256 = "sha256-Cie6paweITwPZy6ej9+qIvHFWknVR382uJPW927t/fo=";

    "2.1.0".sha256 = "sha256-QT91SBJ6DXhyg4j/okTvPP6yj2DnnPbnSlJ/p8pvZbY=";