Index of /gentoo/sci-mathematics/acl2

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[   ]Manifest 2025-07-01 21:11 1.8K 
[TXT]acl2-8.5_p20240307-r..>2025-03-01 10:08 2.5K 
[   ]acl2-8.6.ebuild 2025-07-01 21:11 2.5K 
[DIR]files/ 2025-07-31 07:06 -  
[TXT]metadata.xml 2023-01-07 19:40 816