# Rocq Platform minor release 2025.08.1

**URL:** <https://discourse.rocq-prover.org/t/rocq-platform-minor-release-2025-08-1/2932>\
**Category:** Announcements\
**Created:** [February 9, 2026, 8:44am UTC](https://discourse.rocq-prover.org/t/rocq-platform-minor-release-2025-08-1/2932 "2026-02-09T08:44:37Z")\
**Posts on this page:** 3\
**Page:** 1

<div class="post-metadata">

**Author:** ![Justme0606](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/justme0606/32/1216_2.png) [@Justme0606](https://discourse.rocq-prover.org/u/Justme0606)\
**Post date:** [February 9, 2026, 8:44am UTC](https://discourse.rocq-prover.org/t/rocq-platform-minor-release-2025-08-1/2932/1 "2026-02-09T08:44:37Z")

</div>

Hello,

A new minor release of the Rocq Platform including **vsrocq 2.3.4** is now available.

The release is now available here: [Github](https://github.com/rocq-prover/platform/releases/tag/2025.08.1)

I wish you a nice day.

Best regards,  
Sylvain,

---

<div class="post-metadata">

**Author:** ![system](https://us1.discourse-cdn.com/flex001/uploads/coq/original/2X/5/594ae4f4100bbfb124daa5506e475bf73c1738f5.png) [@system](https://discourse.rocq-prover.org/u/system)\
**Post date:** [February 24, 2026, 1:22pm UTC](https://discourse.rocq-prover.org/t/rocq-platform-minor-release-2025-08-1/2932/2 "2026-02-24T13:22:46Z")

</div>



---

<div class="post-metadata">

**Author:** ![system](https://us1.discourse-cdn.com/flex001/uploads/coq/original/2X/5/594ae4f4100bbfb124daa5506e475bf73c1738f5.png) [@system](https://discourse.rocq-prover.org/u/system)\
**Post date:** [February 25, 2026, 10:00am UTC](https://discourse.rocq-prover.org/t/rocq-platform-minor-release-2025-08-1/2932/3 "2026-02-25T10:00:21Z")

</div>