Name Last modified Size Description Parent Directory - Manifest 17-Feb-2017 02:21 758 agda-2.4.2.5-r2.ebuild 02-Mar-2017 02:29 4.3K agda-2.5.2-r1.ebuild 02-Mar-2017 02:29 5.1K files/ 16-Jun-2016 18:18 - metadata.xml 17-Feb-2017 02:21 907