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