@jung sorry to bother you again but we need that for Coq CI
mentioned in commit a87e4b52
merged
Ah sorry, I meant to do this but forgot.
No worries, thanks!
