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