Index of /sci-mathematics/acl2/

NameLast ModifiedSizeType
../ -  Directory
files/2024-Dec-22 05:12:31-  Directory
Manifest2024-Mar-08 13:11:211.8Kapplication/octet-stream
acl2-8.5-r2.ebuild2024-Mar-07 19:11:162.1Kapplication/octet-stream
acl2-8.5_p20240307.ebuild2024-Mar-08 13:11:212.6Kapplication/octet-stream
metadata.xml2023-Jan-08 01:40:160.8Kapplication/xml
lighttpd/1.4.45