coqPackages.mtac2: init at 1.4-coq8.19 #579
nix-action-8.17.yml
on: pull_request_target
coq
38s
HoTT
34s
LibHyps
38s
bbv
34s
coq-record-update
34s
coq-shell
35s
coqide
35s
dpdgraph
34s
high-school-geometry
39s
itauto
34s
metalib
35s
pocklington
35s
rewriter
34s
semantics
33s
smtcoq
34s
gappalib
37s
trakt
35s
coq-hammer
38s
coq-lsp
37s
topology
39s
ElmExtraction
35s
graph-theory
4m 39s