Index of /sci-mathematics/acl2/

NameLast modifiedSize
Parent Directory2026/04/01 17:08-
Manifest2025/07/02 01:111829
acl2-8.5_p20240307-r1.e..2025/03/01 15:082591
acl2-8.6.ebuild2025/07/02 01:112557
files/2026/04/01 17:08-
metadata.xml2023/01/08 00:40816
WEBrick/1.9.2 (Ruby/3.3.10/2025-10-23)
at 127.0.0.1:3000