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

coqPackages.hierarchy-builder: 1.8.1 -> 1.9.1

parent de8b8195

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

+2 −2
Original line number Diff line number Diff line
@@ -53,7 +53,7 @@ let 
        }

        {

          case = "8.20";

          out = "1.19.2";

          out = "2.0.7";

        }

        {

          case = "9.0";
@@ -76,7 +76,7 @@ let 
      }

      {

        case = "8.20";

        out = "2.2.0";

        out = "2.5.0";

      }

      {

        case = "8.19";

pkgs/development/coq-modules/hierarchy-builder/default.nix

+3 −2
Original line number Diff line number Diff line
@@ -16,8 +16,8 @@ let 
      with lib.versions;

      lib.switch coq.coq-version [

        {

          case = range "9.0" "9.0";

          out = "1.8.1";

          case = range "8.20" "9.0";

          out = "1.9.1";

        }

        {

          case = range "8.19" "8.20";
@@ -52,6 +52,7 @@ let 
          out = "0.10.0";

        }

      ] null;

    release."1.9.1".sha256 = "sha256-AiS0ezMyfIYlXnuNsVLz1GlKQZzJX+ilkrKkbo0GrF0=";

    release."1.8.1".sha256 = "sha256-Z0WAHDyycqgL+Le/zNfEAoLWzFb7WIL+3G3vEBExlb4=";

    release."1.8.0".sha256 = "sha256-4s/4ZZKj5tiTtSHGIM8Op/Pak4Vp52WVOpd4l9m19fY=";

    release."1.7.1".sha256 = "sha256-MCmOzMh/SBTFAoPbbIQ7aqd3hMcSMpAKpiZI7dbRaGs=";