Commit 360076da authored by 4ever2's avatar 4ever2 Committed by Vincent Laporte
Browse files

coqPackages.metacoq: 1.3.2 → 1.3.4

parent 8784c216

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

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

          cases = [

            (range "8.17" "9.0")

            (range "1.3.1" "1.3.2")

            (range "1.3.1" "1.3.4")

          ];

          out = "0.1.0";

        }

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

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

          cases = [

            (range "8.17" "8.19")

            (range "1.3.1" "1.3.2")

            (range "1.3.1" "1.3.3")

          ];

          out = "0.1.0";

        }

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

+4 −2
Original line number Diff line number Diff line
@@ -43,11 +43,11 @@ let 
    }

    {

      case = "8.19";

      out = "1.3.2-8.19";

      out = "1.3.3-8.19";

    }

    {

      case = "8.20";

      out = "1.3.2-8.20";

      out = "1.3.4-8.20";

    }

  ] null;

  release = {
@@ -67,6 +67,8 @@ let 
    "1.3.1-8.19".sha256 = "sha256-fZED/Uel1jt5XF83dR6HfyhSkfBdLkET8C/ArDgsm64=";

    "1.3.2-8.19".sha256 = "sha256-e5Pm1AhaQrO6JoZylSXYWmeXY033QflQuCBZhxGH8MA=";

    "1.3.2-8.20".sha256 = "sha256-4J7Ly4Fc2E/I6YqvzTLntVVls5t94OUOjVMKJyyJdw8=";

    "1.3.3-8.19".sha256 = "sha256-SBTv49zQXZ+oGvIqWM53hjBKru9prFgZRv8gVgls40k=";

    "1.3.4-8.20".sha256 = "sha256-ofRP0Uo48G2LBuIy/5ZLyK+iVZXleKiwfMEBD0rX9fQ=";

  };

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