search

coq-community / coq-nix-toolbox

Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
MIT License
33 stars 12 forks source link

coqPackages.coq-lsp: 0.2.0 -> 0.2.2 #271

Closed Alizter closed 1 month ago