100644 blob 913d7084861271fb402c07debf6be49cdd5f8468	Manifest
100644 blob a278e74af5d62b09eb1614897304b8786ccf7a8b	agda-2.4.0.1.ebuild
100644 blob 06034efa7e6a9a63162b4e50de3c960069abd51f	agda-2.4.2.2-r1.ebuild
100644 blob b6457e53505a6bb2837ee3447a38a9124be4976f	agda-2.4.2.3-r1.ebuild
100644 blob b163a57ee0ef3e73f02112dabe580128e6fef567	agda-2.4.2.3-r2.ebuild
040000 tree d8600346d569b40da441d6528f41ad368c6bb1b8	files
100644 blob 11b2cbcae0bbb6c2852946ef96ef57f9d7a47386	metadata.xml