# Coq 8.19.0 tagged

**URL:** <https://discourse.rocq-prover.org/t/coq-8-19-0-tagged/2187>\
**Category:** Developing the Rocq Prover\
**Created:** [January 24, 2024, 12:48pm UTC](https://discourse.rocq-prover.org/t/coq-8-19-0-tagged/2187 "2024-01-24T12:48:01Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![Gaetan\_Gilbert](https://avatars.discourse-cdn.com/v4/letter/g/9f8e36/32.png) [@Gaetan\_Gilbert](https://discourse.rocq-prover.org/u/Gaetan_Gilbert)\
**Post date:** [January 24, 2024, 12:48pm UTC](https://discourse.rocq-prover.org/t/coq-8-19-0-tagged/2187/1 "2024-01-24T12:48:01Z")

</div>

The tag is set to commit a360913fdc531715a33d06c29c4ff9fb8f1c3ac0.