Chapar 8.13.0 maintenance release

palmskog released this 02 Aug 12:06

· 38 commits to master since this release

Maintenance release compatible with Coq 8.13, featuring the following changes:

Changed

Make most hints local
Adjust build for Coq 8.13 and beyond

Assets 2