Releases: coq-community/almost-full
Releases · coq-community/almost-full
Almost Full 8.18.0 maintenance release
Almost Full 8.14.0 maintenance release
Maintenance release compatible with Coq 8.10 to 8.15.
Almost Full 8.13.0 maintenance release
Maintenance release with Coq 8.13 compatibility, featuring the following changes:
- fix focus-related deprecations
- improve formatting and comments
Almost Full 8.12.0 maintenance release
Maintenance release after move to coq-community, with Coq 8.12 compatibility, with the following features:
- port to Coq 8.10 and later
- fix deprecations
- optional support for building with Dune