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