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

coq-lsp: 0.2.2 -> 0.2.3 (#415541)

Browse Source
This commit is contained in:
Peder Bergebakken Sundt
2025-06-12 15:06:26 +02:00
committed by GitHub
parent b109185a85 18f29937d3
commit 15cdc3846d
1 changed files with 13 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/coq-modules/coq-lsp/default.nix
+13 -8
View File
@@ -15,10 +15,11 @@
useDune = true;
release."0.1.8+8.16".sha256 = "sha256-dEEAK5IXGjHB8D/fYJRQG/oCotoXJuWLxXB0GQlY2eo=";
release."0.2.2+8.17".sha256 = "sha256-dWPAwePbfTf2t+ydSd1Cnr2kKTDbvedmxm2+Z6F5zuM=";
release."0.2.2+8.18".sha256 = "sha256-0J/XaSvhnKHRlcWfG1xbUOyN4LDtK1SEahE9kpV7GK4=";
release."0.2.2+8.19".sha256 = "sha256-E2zO2SOU3nmTFf1yA1gefyIWTViUGNTTJ4r6fZYl6UY=";
release."0.2.2+8.20".sha256 = "sha256-9yHisA3YJ/KuolU53qcQAjuSIAZPY+4rnkWV9dpLc6c=";
release."0.2.3+8.17".sha256 = "sha256-s7GXRYxuCMXm0XpKAyEwYqolsVFcKHhM71uabqqK5BY=";
release."0.2.3+8.18".sha256 = "sha256-0cEuMWuNJwfiPdc0aHKk3EQbkVRIbVukS586EWSHCgo=";
release."0.2.3+8.19".sha256 = "sha256-0eQQheY2yjS7shifhUlVPLXvTmyvgNpx7deLWXBRTfA=";
release."0.2.3+8.20".sha256 = "sha256-TUVS8jkgf1MMOOx5y70OaeZkdIgdgmyGQ2/zKxeplEk=";
release."0.2.3+9.0".sha256 = "sha256-eZMM4gYRXQroEIKz6XlffyHNYryEF5dIeIoVbEulh6M=";
inherit version;
defaultVersion =
@@ -30,19 +31,23 @@
}
{
case = isEq "8.17";
out = "0.2.2+8.17";
out = "0.2.3+8.17";
}
{
case = isEq "8.18";
out = "0.2.2+8.18";
out = "0.2.3+8.18";
}
{
case = isEq "8.19";
out = "0.2.2+8.19";
out = "0.2.3+8.19";
}
{
case = isEq "8.20";
out = "0.2.2+8.20";
out = "0.2.3+8.20";
}
{
case = isEq "9.0";
out = "0.2.3+9.0";
}
] null;