gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

coqPackages.coq-lsp: 0.1.7+8.17 -> 0.1.7+8.18

Browse Source 
Signed-off-by: Ali Caglayan <alizter@gmail.com>
This commit is contained in:
Ali Caglayan
2023-09-15 16:17:16 +02:00
committed by Vincent Laporte
parent 9d696c09f9
commit 6b614db040
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/coq-modules/coq-lsp/default.nix
+2
View File
@@ -9,11 +9,13 @@ mkCoqDerivation rec {
release."0.1.7+8.16".sha256 = "sha256-ZBxwrnnCmT5q4C7ocQ+M+aSJQNnEjeN2HFw4bzPozYs=";
release."0.1.7+8.17".sha256 = "sha256-f671wzGQannGjRbmBRHFKXz24BTPX7oVeHUxnv4Vd6Y=";
release."0.1.7+8.18".sha256 = "sha256-J+bRIzjdIPRu7DvAGVBKB43O3UJliTo8XQ87OTzsFyc=";
inherit version;
defaultVersion = with lib.versions; lib.switch coq.coq-version [
{ case = isEq "8.16"; out = "0.1.7+8.16"; }
{ case = isEq "8.17"; out = "0.1.7+8.17"; }
{ case = isEq "8.18"; out = "0.1.7+8.18"; }
] null;
nativeBuildInputs = [ makeWrapper ];