v0.3.0: Release for Rocq 9.0

Latest

Latest

womeier released this 24 Jun 17:37

· 2 commits to master since this release

6488498

Updated to Rocq version 9.0.

This version is available on opam with the new name rocq-parseque.

Assets 2