coq-gappa (1.5.5-1) unstable; urgency=medium * New upstream release. Date: 2024-04-28 22:28:08.555347+00:00 Signed-By: Gianfranco Costamagna <costamagnagianfranco at yahoo.it> https://launchpad.net/ubuntu/+source/coq-gappa/1.5.5-1 -------------- next part -------------- Sorry, changesfile not available.