The V8.12.0 tag has been created

Developing the Coq system
1

Dear packagers,

This is an early announcement that the V8.12.0 tag has been created
and that it is time to package Coq for the various distributions /
package repositories.

The official announcement of the release should come soon.

Cheers,
Emilio and Théo, your 8.12 release managers

2

@erikmd I’ve just tagged the tip of v8.12 on the bignums repository as well. Will you take care of creating the opam package for the new release of bignums once the opam package for Coq 8.12.0 exists?

3

I’m repeating a message from @silene on the Coqdev mailing list here:

As per Potential memory corruption in VM with OCaml 4.12 · Issue #12636 · coq/coq · GitHub , I strongly recommend
that package maintainers prevent the Coq binaries from being built with
OCaml >= 4.12. This version of the compiler has not yet been released,
but I think it is better to make the existing Coq packages incompatible
as soon as possible.

4

Sure @Zimmi48, thanks for the heads-up!

5

@Zimmi48 coq-bignums.8.12.0 is now available and likewise for the coqorg/coq:8.12.0 image which is now a synonym of coqorg/coq:latest (cf. https://hub.docker.com/r/coqorg/coq#supported-tags)

1 Like