# V8.15.0 tag set

**URL:** <https://discourse.rocq-prover.org/t/v8-15-0-tag-set/1525>\
**Category:** Developing the Rocq Prover\
**Created:** [January 13, 2022, 4:20pm UTC](https://discourse.rocq-prover.org/t/v8-15-0-tag-set/1525 "2022-01-13T16:20:56Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![SkySkimmer](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/skyskimmer/32/369_2.png) [@SkySkimmer](https://discourse.rocq-prover.org/u/SkySkimmer)\
**Post date:** [January 13, 2022, 4:20pm UTC](https://discourse.rocq-prover.org/t/v8-15-0-tag-set/1525/1 "2022-01-13T16:20:56Z")

</div>

The tag has been set. Opam packages, docker tags and platform versions will now be prepared.