coqPackages.coq-lsp: 0.2.0 -> 0.2.2 #615
nix-action-8.17.yml
on: pull_request
coq
37s
HoTT
36s
LibHyps
32s
bbv
32s
coq-lsp
33s
coq-record-update
32s
coq-shell
33s
coqide
33s
dpdgraph
33s
high-school-geometry
37s
itauto
33s
metalib
36s
pocklington
35s
rewriter
32s
semantics
35s
serapi
33s
smtcoq
34s
ElmExtraction
34s
graph-theory
38s