coqPackages.json: 0.1.3 -> 0.2.0 #627
nix-action-8.17.yml
on: pull_request
coq
34s
HoTT
38s
LibHyps
34s
bbv
34s
coq-lsp
39s
coq-record-update
33s
coq-shell
34s
coqide
41s
dpdgraph
33s
high-school-geometry
33s
itauto
39s
metalib
38s
pocklington
39s
rewriter
35s
semantics
36s
serapi
39s
smtcoq
1m 52s
graph-theory
36s