agda (2.5.1.1-3) unstable; urgency=medium * Upload to unstable as part of GHC 8 transition. Date: 2016-10-28 10:11:04.216029+00:00 Signed-By: LocutusOfBorg <costamagnagianfranco at yahoo.it> https://launchpad.net/ubuntu/+source/agda/2.5.1.1-3 -------------- next part -------------- Sorry, changesfile not available.