Skip to content

Mczify 1.6.0+2.3+8.18

Latest

Choose a tag to compare

@pi8027 pi8027 released this 29 Oct 16:55
· 4 commits to master since this release
96dfac8

This is a maintenance release compatible with Mathematical Components 2.3 to 2.5 and Coq/Rocq 8.18 to 9.1.

From this release, the main opam package is called rocq-mathcomp-zify. The old package coq-mathcomp-zify is still provided as its compatibility shim.