100644 blob baeaa65d8dbdc4316204a4ebe528bccd584df582	Manifest
100644 blob cc2c3416beae526aeeef557819e36d8186023867	agda-stdlib-0.8.ebuild
100644 blob cc2c3416beae526aeeef557819e36d8186023867	agda-stdlib-0.9.ebuild
100644 blob 3f5fb3f4ffe19132164cf2f4ee464db31ee0dcc6	agda-stdlib-2.4.2.3.ebuild
100644 blob 8d36ca106bc83eba72128f69695251431d2388d2	agda-stdlib-2.4.2.5.ebuild
040000 tree d360f0dc37f13a4384bfd8d9e893b3646902eb48	files
100644 blob 5cb285fc8d714a88d719bcc54feca0ebbac86c14	metadata.xml