Index of /gentoo-portage-prefix/sci-mathematics/acl2/

../
files/                                             10-Feb-2025 17:26       -
Manifest                                           02-Jul-2025 08:56    1829
acl2-8.5_p20240307-r1.ebuild                       01-Mar-2025 21:56    2591
acl2-8.6.ebuild                                    02-Jul-2025 08:56    2557
metadata.xml                                       01-Mar-2025 21:56     816