# The V8.12.0 tag has been created

**URL:** <https://discourse.rocq-prover.org/t/the-v8-12-0-tag-has-been-created/967>\
**Category:** Developing the Rocq Prover\
**Created:** [July 24, 2020, 6:39pm UTC](https://discourse.rocq-prover.org/t/the-v8-12-0-tag-has-been-created/967 "2020-07-24T18:39:49Z")\
**Posts on this page:** 5\
**Page:** 1

<div class="post-metadata">

**Author:** ![Zimmi48](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/zimmi48/32/7_2.png) [@Zimmi48](https://discourse.rocq-prover.org/u/Zimmi48)\
**Post date:** [July 24, 2020, 6:39pm UTC](https://discourse.rocq-prover.org/t/the-v8-12-0-tag-has-been-created/967/1 "2020-07-24T18:39:49Z")

</div>

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

---

<div class="post-metadata">

**Author:** ![Zimmi48](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/zimmi48/32/7_2.png) [@Zimmi48](https://discourse.rocq-prover.org/u/Zimmi48)\
**Post date:** [July 24, 2020, 6:48pm UTC](https://discourse.rocq-prover.org/t/the-v8-12-0-tag-has-been-created/967/2 "2020-07-24T18:48:40Z")

</div>

@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?

---

<div class="post-metadata">

**Author:** ![Zimmi48](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/zimmi48/32/7_2.png) [@Zimmi48](https://discourse.rocq-prover.org/u/Zimmi48)\
**Post date:** [July 25, 2020, 10:20am UTC](https://discourse.rocq-prover.org/t/the-v8-12-0-tag-has-been-created/967/3 "2020-07-25T10:20:22Z")

</div>

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](https://github.com/coq/coq/issues/12636) , 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.

---

<div class="post-metadata">

**Author:** ![erikmd](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/erikmd/32/145_2.png) [@erikmd](https://discourse.rocq-prover.org/u/erikmd)\
**Post date:** [July 25, 2020, 7:40pm UTC](https://discourse.rocq-prover.org/t/the-v8-12-0-tag-has-been-created/967/4 "2020-07-25T19:40:44Z")

</div>

Sure @Zimmi48, thanks for the heads-up!

---

<div class="post-metadata">

**Author:** ![erikmd](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/erikmd/32/145_2.png) [@erikmd](https://discourse.rocq-prover.org/u/erikmd)\
**Post date:** [July 26, 2020, 1:55pm UTC](https://discourse.rocq-prover.org/t/the-v8-12-0-tag-has-been-created/967/5 "2020-07-26T13:55:40Z")

</div>

@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](https://hub.docker.com/r/coqorg/coq#supported-tags))