rocq-stdlib (9.2.0-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Mon, 27 Jul 2026 20:28:59 +0200

rocq-stdlib (9.1.0-3) unstable; urgency=medium

  * Fix compilation with recent dune.

 -- Julien Puydt <jpuydt@debian.org>  Thu, 23 Jul 2026 17:14:25 +0200

rocq-stdlib (9.1.0-2) unstable; urgency=medium

  * Add missing dep on libcoq-stdlib (Closes: #1141880).
  * Fix depends (Closes: #1128188).

 -- Julien Puydt <jpuydt@debian.org>  Wed, 22 Jul 2026 20:00:28 +0200

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
