[ubuntu/noble-updates] coq-dpdgraph 1.0+8.18-1 (Accepted)
Ubuntu Archive Robot
ubuntu-archive-robot at lists.canonical.com
Fri Mar 29 23:59:00 UTC 2024
coq-dpdgraph (1.0+8.18-1) unstable; urgency=medium
* Fix d/rules clean target (closes: #1044276).
* New upstream release.
Date: 2023-12-22 16:35:57.797616+00:00
Signed-By: Ubuntu Archive Robot <ubuntu-archive-robot at lists.canonical.com>
https://launchpad.net/ubuntu/+source/coq-dpdgraph/1.0+8.18-1
-------------- next part --------------
Sorry, changesfile not available.
More information about the noble-changes
mailing list