[ubuntu/noble-updates] coq-math-classes 8.18.0-1 (Accepted)

[Ubuntu Archive Robot]

coq-math-classes (8.18.0-1) unstable; urgency=medium

  [ Debian Janitor ]
  * debian/copyright: use spaces rather than tabs to start continuation lines.
  * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse.
  * Set upstream metadata fields: Repository.

  [ Julien Puydt ]
  * Fix d/rules clean target (Closes: #1044914).
  * New upstream release.

Date: 2023-12-23 16:27:36.868480+00:00
Signed-By: Ubuntu Archive Robot <ubuntu-archive-robot at lists.canonical.com>
https://launchpad.net/ubuntu/+source/coq-math-classes/8.18.0-1
-------------- next part --------------
Sorry, changesfile not available.