MetaRocq/metarocq v1.4.1-9.1

MetaRocq 1.4.1 for Rocq 9.1

on GitHub

The 1.4.1 version contains a few fixes due to corrections in the guard checker of Rocq (those are already in the 1.4-9.0.1 version). See https://github.com/MetaRocq/metarocq/releases/tag/v1.4-9.1 for the 1.4 release for Rocq 9.1 release notes.

What's Changed

• 9.1 ports from 9.0 by @mattam82 in #1221
• Better config for CI builds? by @mattam82 in #1222

Full Changelog: v1.4-9.1...v1.4.1-9.1