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

  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Thu, 20 Feb 2025 18:05:28 +0100

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

  * Package new upstream.

 -- Julien Puydt <jpuydt@debian.org>  Thu, 26 Dec 2024 10:07:20 +0100

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

  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Sun, 24 Nov 2024 13:45:05 +0100

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

  * Fix autopkg test.

 -- Julien Puydt <jpuydt@debian.org>  Sat, 23 Nov 2024 16:35:31 +0100

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

  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Wed, 20 Nov 2024 10:59:08 +0100

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

  * Team upload
  * Do not hardcode /usr/lib/ocaml

 -- Stéphane Glondu <glondu@debian.org>  Sat, 03 Aug 2024 14:32:02 +0200

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

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

 -- Julien Puydt <jpuydt@debian.org>  Tue, 11 Jun 2024 06:57:40 +0200

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

  * Fix target distribution.

 -- Julien Puydt <jpuydt@debian.org>  Fri, 26 Apr 2024 16:05:03 +0200

mathcomp-analysis (1.1.0-1) binary; urgency=medium

  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Mon, 01 Apr 2024 10:25:46 +0200

mathcomp-analysis (1.0.0-2) binary; urgency=medium

  * Rebuild for binary compatibility.

 -- Julien Puydt <jpuydt@debian.org>  Sat, 30 Mar 2024 11:49:15 +0100

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