Unverified Commit a97f4051 authored by Aleksana's avatar Aleksana Committed by GitHub
Browse files

coq-lsp: 0.2.4->0.2.5. (#470521)

parents 95ce9779 d96b6f3e

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

+6 −3
Original line number Diff line number Diff line
@@ -23,6 +23,9 @@ 
  release."0.2.4+8.20".sha256 = "sha256-mQxh2/Cb5hZ99TtqWYLpZ/BRPrm5GRDYPDfKlCTK9N4=";

  release."0.2.4+9.0".sha256 = "sha256-ICPdNxJODNqmUErdTkNk7s52MRuINWLbAPm0rmXFW18=";

  release."0.2.4+9.1".sha256 = "sha256-HNHA2vbX70oZkd4QtbP28UbTRXatqxJdxw1OWDVDE8U=";

  release."0.2.5+8.20".sha256 = "sha256-OduwwJESXVEkeX+w8nLEhLUtPo4YGDPj21yWyc1uv3U=";

  release."0.2.5+9.0".sha256 = "sha256-nbMf7xziBYoBH0F8YBUEybCHSdsaOxlqXnyngeQNg3c=";

  release."0.2.5+9.1".sha256 = "sha256-PzIgo15zI3JjibT8GzyHdTwofd3IF6eRmUc47NveH70=";



  inherit version;

  defaultVersion =
@@ -46,15 +49,15 @@ 
      }

      {

        case = isEq "8.20";

        out = "0.2.4+8.20";

        out = "0.2.5+8.20";

      }

      {

        case = isEq "9.0";

        out = "0.2.4+9.0";

        out = "0.2.5+9.0";

      }

      {

        case = isEq "9.1";

        out = "0.2.4+9.1";

        out = "0.2.5+9.1";

      }

    ] null;