rocq-stdlib (9.0.0-1) experimental; urgency=medium

  * Initial release. (Closes: #1111824)

 -- Julien Puydt <jpuydt@debian.org>  Wed, 17 Sep 2025 07:03:34 +0200
