[ubuntu/oracular-proposed] coq-menhirlib 20231231+ds-3 (Accepted)

[Gianfranco Costamagna]

coq-menhirlib (20231231+ds-3) unstable; urgency=medium

  * Fix target distribution.

Date: 2024-04-27 22:27:55.261495+00:00
Signed-By: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
https://launchpad.net/ubuntu/+source/coq-menhirlib/20231231+ds-3
-------------- next part --------------
Sorry, changesfile not available.