dh-coq (0.11) unstable; urgency=medium * Fix coq-serapi addition. Date: 2024-09-17 22:34:23.711416+00:00 Signed-By: Gianfranco Costamagna <costamagnagianfranco at yahoo.it> https://launchpad.net/ubuntu/+source/dh-coq/0.11 -------------- next part -------------- Sorry, changesfile not available.