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
