Bump Coq to current version
mikkelmilo opened this issue · 0 comments
mikkelmilo commented
Build is broken at this point due to not being updated for a long time...
- coq 8.9 -> coq 8.12 or 8.13
- plugin needs fixing as a result of this update
- Dune update?
- check for changes in QuickSpec?