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
