nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-30 08:44:31 +00:00
Code Issues Packages Projects Releases Wiki Activity
614,810 Commits 191 Branches 125 Tags 7.2 GiB
01353ad24e
Commit Graph

6 Commits

Author SHA1 Message Date
Ali Caglayan
8398a209b6
coqPackages.{serapi,coq-lsp}: {8.18.0+0.18.0,0.1.8+8.18.0} -> {8.19.0+0.19.0,0.1.8+8.19.0} (#288185) 
* coqPackages.serapi: 8.18.0+0.18.0 -> 8.19.0+0.19.0

* coqPackages.coq-lsp: 0.1.8+8.18 -> 0.1.8+8.19

Signed-off-by: Ali Caglayan <alizter@gmail.com>
 2024-02-16 08:59:26 +01:00
Théo Zimmermann
01af077865
coqPackages.coq-lsp: 0.1.7 -> 0.1.8 2023-10-26 10:13:24 +02:00
Ali Caglayan
6b614db040 coqPackages.coq-lsp: 0.1.7+8.17 -> 0.1.7+8.18 
Signed-off-by: Ali Caglayan <alizter@gmail.com>
 2023-09-15 16:17:16 +02:00
Léo Stefanesco
00d2abe875 coqPackages.coq-lsp: 0.1.6.1 -> 0.1.7 2023-07-21 13:28:51 +02:00
Ali Caglayan
6462ef85d8 coqPackages.coq-lsp: 0.1.6.1 for Coq 8.17 
Signed-off-by: Ali Caglayan <alizter@gmail.com>
 2023-04-04 13:23:51 +02:00
Mario Rodas
ca97b34a97 coqPackages_8_16.coq-lsp: init at 0.1.6.1+8.16 2023-02-21 04:20:00 +00:00