nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-24 13:05:08 +00:00
Code Issues Packages Projects Releases Wiki Activity
425afd6755
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