mathcomp-multinomials (2.2.0-1build5) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Mon, 08 Apr 2024 09:18:49 +0200

mathcomp-multinomials (2.2.0-1build4) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

 -- Steve Langasek <steve.langasek@ubuntu.com>  Sun, 31 Mar 2024 20:04:58 +0000

mathcomp-multinomials (2.2.0-1build3) noble; urgency=medium

  * No-change rebuild for new ssreflect ABI

 -- Steve Langasek <steve.langasek@ubuntu.com>  Sun, 24 Mar 2024 21:44:22 +0000

mathcomp-multinomials (2.2.0-1build2) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Sat, 17 Feb 2024 01:26:52 +0100

mathcomp-multinomials (2.2.0-1build1) noble; urgency=medium

  * Rebuild against latest coq libraries

 -- Jeremy Bícha <jbicha@ubuntu.com>  Sun, 28 Jan 2024 08:31:24 -0500

mathcomp-multinomials (2.2.0-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Sat, 20 Jan 2024 20:33:52 +0100

mathcomp-multinomials (2.1.0-1) unstable; urgency=medium

  * Fix d/rules clean target (Closes: #1048599).
  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Fri, 22 Dec 2023 11:35:03 +0100

mathcomp-multinomials (1.6.0-3) unstable; urgency=medium

  * Fix compilation with recent dune.

 -- Julien Puydt <jpuydt@debian.org>  Thu, 06 Jul 2023 11:51:16 +0200

mathcomp-multinomials (1.6.0-2) unstable; urgency=medium

  * Fix autopkgtest (Closes: #1038695).

 -- Julien Puydt <jpuydt@debian.org>  Tue, 20 Jun 2023 11:39:20 +0200

mathcomp-multinomials (1.6.0-1) unstable; urgency=medium

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

 -- Julien Puydt <jpuydt@debian.org>  Thu, 15 Jun 2023 07:22:40 +0200

# For older changelog entries, run 'apt-get changelog libcoq-mathcomp-multinomials'
