# Equations 1.3.1 for Rocq 9.0

**URL:** <https://discourse.rocq-prover.org/t/equations-1-3-1-for-rocq-9-0/2521>\
**Category:** Announcements\
**Created:** [January 29, 2025, 12:34pm UTC](https://discourse.rocq-prover.org/t/equations-1-3-1-for-rocq-9-0/2521 "2025-01-29T12:34:40Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![mattam82](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/mattam82/32/11_2.png) [@mattam82](https://discourse.rocq-prover.org/u/mattam82)\
**Post date:** [January 29, 2025, 12:34pm UTC](https://discourse.rocq-prover.org/t/equations-1-3-1-for-rocq-9-0/2521/1 "2025-01-29T12:34:41Z")

</div>

The package for Equations 1.3.1 for Rocq 9.0 (including rc1) has been released on opam (rocq-equations.1.3.1+9.0 or coq-equations.1.3.1+9.0). One can now rely on it to port packages to Rocq 9.