mathcomp-analysis (1.0.0-1build4) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

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

mathcomp-analysis (1.0.0-1build3) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

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

mathcomp-analysis (1.0.0-1build2) noble; urgency=medium

  * No-change rebuild for new libcoq-elqi ABI

 -- Steve Langasek <steve.langasek@ubuntu.com>  Sun, 24 Mar 2024 15:59:31 +0000

mathcomp-analysis (1.0.0-1build1) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

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

mathcomp-analysis (1.0.0-1) unstable; urgency=medium

  [ Julien Puydt ]
  * New upstream release.

  [ Gianfranco Costamagna ]
  * Team upload
  * New upstream version 1.0.0 (Closes: #1060988, LP: #2051458)

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Mon, 29 Jan 2024 09:28:14 +0100

mathcomp-analysis (0.6.4-3) unstable; urgency=medium

  * Add missing(?!) Replaces (Closes: #1050027).

 -- Julien Puydt <jpuydt@debian.org>  Wed, 23 Aug 2023 11:57:00 +0200

mathcomp-analysis (0.6.4-2) unstable; urgency=medium

  * Add missing Breaks (Closes: #1050027).

 -- Julien Puydt <jpuydt@debian.org>  Sat, 19 Aug 2023 17:43:17 +0200

mathcomp-analysis (0.6.4-1) unstable; urgency=medium

  * New upstream release.
  * Split the package in two following upstream decision.

 -- Julien Puydt <jpuydt@debian.org>  Tue, 08 Aug 2023 10:17:45 +0200

mathcomp-analysis (0.6.3-2) unstable; urgency=medium

  * Fix abi issue.

 -- Julien Puydt <jpuydt@debian.org>  Wed, 05 Jul 2023 14:42:20 +0200

mathcomp-analysis (0.6.3-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Wed, 21 Jun 2023 12:44:56 +0200

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