The main changes are:

• the installation procedures adapts to the shape of rocq repositories
• the library used to parse large integers is now zarith (this is only relevant for the ml code)

What's Changed

• Fix for breakage on Coq dev issue by @k4rtik in #7
• Include new Coq versions in CI. by @Zimmi48 in #5
• Add compiler by @ybertot in #4
• Update meta.yml to support 8.14 by @k4rtik in #9

Full Changelog: v8.13.0...v8.14.0