dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
ac91cf83c1
nixpkgs/pkgs/development/coq-modules/vscoq-language-server
History
Cyril Cohen 4116f0379e
coqPackages.vscoq-language-server: init at 2.0.3 (#256515)
2024-02-01 10:10:43 +01:00
..
default.nix