../ files/ 15-Mar-2020 23:39 - Manifest 24-Dec-2019 11:39 2435 agda-2.4.2.5-r2.ebuild 24-Dec-2019 11:39 4435 agda-2.5.2-r1.ebuild 24-Dec-2019 11:39 5269 agda-2.5.2-r2.ebuild 24-Dec-2019 11:39 5304 metadata.xml 16-Feb-2017 10:21 907