../ files/ 02-Jul-2025 01:11 - Manifest 02-Jul-2025 01:11 1829 acl2-8.5_p20240307-r1.ebuild 01-Mar-2025 15:08 2591 acl2-8.6.ebuild 02-Jul-2025 01:11 2557 metadata.xml 08-Jan-2023 00:40 816