Changelog All notable changes to this project will be documented in this file. [v1.1.0] - 2022-07-31 Initial release on Coq opam repo.