dose3 (7.0.0-8build2) stonking; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Mon, 06 Jul 2026 11:07:59 +0200

dose3 (7.0.0-8build1) stonking; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Wed, 01 Jul 2026 18:57:05 +0200

dose3 (7.0.0-8) unstable; urgency=medium

  * Team upload
  * Fix doc installed by dune (Closes: #1139469)
  * Switch debian/watch to version 5
  * Bump Standards-Version to 4.7.4
  * Remove Priority and Rules-Requires-Root from debian/control

 -- Stéphane Glondu <glondu@debian.org>  Wed, 10 Jun 2026 11:10:29 +0200

dose3 (7.0.0-7) unstable; urgency=medium

  * Team upload
  * Move pandoc to Build-Depends-Indep

 -- Stéphane Glondu <glondu@debian.org>  Mon, 02 Feb 2026 12:33:49 +0100

dose3 (7.0.0-6) unstable; urgency=medium

  [ Stéphane Glondu ]
  * Team upload

  [ Samuel Thibault ]
  * Add a noextra build profile (Closes: #1099685)

 -- Stéphane Glondu <glondu@debian.org>  Sat, 08 Mar 2025 07:40:21 +0100

dose3 (7.0.0-5) unstable; urgency=medium

  [ Stéphane Glondu ]
  * Team upload
  * Add camlp-streams to debGrep dependencies

  [ Ralf Treinen ]
  * Update debian/watch, to follow recent gitlab change.

 -- Stéphane Glondu <glondu@debian.org>  Sat, 15 Jun 2024 07:33:35 +0200

dose3 (7.0.0-4) unstable; urgency=medium

  * Team upload
  * Fix tests with ocamlgraph 2.1.0 (Closes: #1051484)

 -- Stéphane Glondu <glondu@debian.org>  Fri, 08 Sep 2023 17:55:57 +0200

dose3 (7.0.0-3) unstable; urgency=medium

  [ Stéphane Glondu ]
  * Team upload
  * Bump Standards-Version to 4.6.2

  [ Debian Janitor ]
  * Remove constraints unnecessary since buster (oldstable)
  * Use secure URI in Homepage field
  * Set upstream metadata fields
  * Update standards version to 4.6.1

 -- Stéphane Glondu <glondu@debian.org>  Sat, 02 Sep 2023 08:45:28 +0200

dose3 (7.0.0-2) unstable; urgency=medium

  * Team upload
  * Fix build with recent dune

 -- Stéphane Glondu <glondu@debian.org>  Sat, 15 Jul 2023 06:48:32 +0200

# Older entries have been removed from this changelog.
# To read the complete changelog use `apt changelog dose-distcheck`.
