Subject: [IMPORTANT] Release of MathComp v1.12 in progress
Dear all,
We are now starting the release process for mathcomp v1.12.
All pull requests targeted to this release have been merged.
This message grabs the lock on the master branch.
Please refrain from adding anything to the master branch until the lock is released.
Best wishes,
--
Reynald & Cyril
[IMPORTANT] Release of MathComp 1.12 completed
Dear all,
The release has been tagged.
We are releasing the lock on math-comp master.
Best wishes,
--
Reynald & Cyril
We are pleased to announce the availability of the opam packages
coq-mathcomp-{ssreflect,algebra,field,characted,fingroup,solvable}
for MathComp 1.12.0.
See https://coq.inria.fr/opam/www/.
We are also pleased to announce the availability of Docker images
for MathComp 1.12.0.
See the last tags at https://hub.docker.com/r/mathcomp/mathcomp.
Last updated: Oct 13 2024 at 01:02 UTC