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

  * Depend on correct coq/rocq.

 -- Julien Puydt <jpuydt@debian.org>  Tue, 11 Nov 2025 18:15:27 +0100

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

  * Rewrite d/watch in version 5.

 -- Julien Puydt <jpuydt@debian.org>  Wed, 29 Oct 2025 07:27:23 +0100

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
