agda (2.6.0.1-1) unstable; urgency=medium * New upstream version. Date: 2019-08-31 22:27:51.133447+00:00 Signed-By: Gianfranco Costamagna <costamagnagianfranco at yahoo.it> https://launchpad.net/ubuntu/+source/agda/2.6.0.1-1 -------------- next part -------------- Sorry, changesfile not available.