pkgs/development/coq-modules/coq-lsp · nixpkgs · Tangled

What happens if I push all of nixpkgs

nixpkgs pkgs development coq-modules coq-lsp

2 files

at devShellTools-shell

· coq-lsp: 0.2.2 -> 0.2.3 · 1y ago

coq-loader.patch

coqPackages_8_16.coq-lsp: fix for recent findlib

coq-lsp: 0.2.2 -> 0.2.3