Commit 6462ef85 authored by Ali Caglayan's avatar Ali Caglayan Committed by Vincent Laporte
Browse files

coqPackages.coq-lsp: 0.1.6.1 for Coq 8.17 



Signed-off-by: default avatarAli Caglayan <alizter@gmail.com>
parent 21131995

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

+3 −1
Original line number Diff line number Diff line
@@ -8,10 +8,12 @@ mkCoqDerivation rec { 
  useDune = true;



  release."0.1.6.1+8.16".sha256 = "sha256-aX8/pN4fVYaF7ZEPYfvYpEZLiQM++ZG1fAhiLftQ9Aw=";

  release."0.1.6.1+8.17".sha256 = "sha256-je+OlKM7x3vYB36sl406GREAWB4ePmC0ewHS6rCmWfk=";



  inherit version;

  defaultVersion = with lib.versions; lib.switch coq.coq-version [

    { case = isEq "8.16"; out = "0.1.6.1+8.16"; }

    { case = isEq "8.17"; out = "0.1.6.1+8.17"; }

  ] null;



  nativeBuildInputs = [ makeWrapper ];
@@ -30,7 +32,7 @@ mkCoqDerivation rec { 
    description = "Language Server Protocol and VS Code Extension for Coq";

    homepage = "https://github.com/ejgallego/coq-lsp";

    changelog = "https://github.com/ejgallego/coq-lsp/blob/${defaultVersion}/CHANGES.md";

    maintainers = with maintainers; [ marsam ];

    maintainers = with maintainers; [ alizter marsam ];

    license = licenses.lgpl21Only;

  };

}