Merge pull request #384 from proux01/drop_coq_815 #21
nix-action-coq-master.yml
on: push
coq
27s
mathcomp-single
3m 25s
hierarchy-builder-shim
35s
mathcomp-single-planB-src
34s
odd-order
36s