Make the code compatible with the new elpi file resolver #10
nix-action-coq-8.20.yml
on: pull_request_target
coq
34s
mathcomp-single
8m 4s
interval
2m 32s
fourcolor
13m 20s
coq-bits
1m 21s
mathcomp-analysis
11m 30s
coqeal
4m 23s
odd-order
11m 33s