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

  * New upstream release.
  * Bump standards-version to 4.7.4.

 -- Julien Puydt <jpuydt@debian.org>  Fri, 10 Jul 2026 10:42:22 +0200

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