Stream: math-comp devs

Topic: v1.12 release


view this post on Zulip Reynald Affeldt (Nov 26 2020 at 08:55):

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

view this post on Zulip Reynald Affeldt (Nov 26 2020 at 10:49):

[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

view this post on Zulip Reynald Affeldt (Nov 27 2020 at 14:47):

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/.

view this post on Zulip Reynald Affeldt (Nov 27 2020 at 14:47):

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: Aug 11 2022 at 02:03 UTC