Should help with the nightly build failures. Unfortunately I cannot easily test this locally since the project does not seem to work with ProofGeneral out-of-the-box
Error: Cannot find a physical path bound to logical path type with prefix refinedc.typing.
Note sure what that is about. I see some
_build things in
_CoqProject. Maybe dune stuff? Anyway something that breaks the workflow I have been using for 10 years... so let's just see what CI says. ;)
make builddep insists on installing cerberus which I don't want to do since I just want to change some Coq files.)