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