mathcomp-abel (1.2.1-2build5) noble; urgency=medium

  * Rebuild against latest coq

 -- Jeremy Bícha <jbicha@ubuntu.com>  Tue, 26 Dec 2023 21:52:13 -0500

mathcomp-abel (1.2.1-2build4) noble; urgency=medium

  * Rebuild against latest coq

 -- Jeremy Bícha <jbicha@ubuntu.com>  Sat, 23 Dec 2023 14:11:55 -0500

mathcomp-abel (1.2.1-2build3) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Thu, 23 Nov 2023 00:46:11 +0100

mathcomp-abel (1.2.1-2build2) noble; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Sat, 04 Nov 2023 20:15:43 +0100

mathcomp-abel (1.2.1-2build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Mon, 24 Jul 2023 19:11:23 +0200

mathcomp-abel (1.2.1-2) unstable; urgency=medium

  * Bump standards-version to 4.6.2.
  * Add patch to fix compilation with mathcomp >= 1.17.
  * Add patch to fix compilation with coq >= 8.17.
  * Add versioned dep on coq and ssreflect (Closes: #1038672).

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

mathcomp-abel (1.2.1-1) unstable; urgency=medium

  * Initial release. (Closes: #1019692)

 -- Julien Puydt <jpuydt@debian.org>  Tue, 13 Sep 2022 16:20:31 +0200
