Index of /sci-mathematics/acl2

Icon  Name                      Last modified      Size  Description
[PARENTDIR] Parent Directory                               -   
[   ] Manifest                  2024-03-07 18:00  618   
[   ] acl2-8.5-r2.ebuild        2024-03-07 18:00  2.1K  
[   ] acl2-8.5_p20240307.ebuild 2024-03-08 12:25  2.6K  
[DIR] files/                    2023-01-08 00:50    -   
[TXT] metadata.xml              2023-01-08 00:50  816
Apache/2.4.59 (Gentoo) mod_fcgid/2.3.9 OpenSSL/3.2.1 mod_perl/2.0.13 Perl/v5.38.2 Server at portage.randomdan.homeip.net Port 11080