ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-09-30 17:49:58 +03:00
Code Issues Projects Releases Wiki Activity
b845260c90
nixpkgs/pkgs/development/coq-modules/coq-lsp
History
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
..
default.nix coqPackages.coq-lsp: 0.1.7+8.17 -> 0.1.7+8.18 2023-09-15 16:17:16 +02:00