Index of /ubuntu-ports/pool/universe/a/acl2

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]acl2-books-certs_8.6+dfsg-3build1_all.deb2026-02-04 06:32 267M
[ ]acl2-books-source_8.6+dfsg-3build1_all.deb2026-02-04 06:32 26M
[ ]acl2-books_8.6+dfsg-3build1_arm64.deb2026-02-04 08:06 465M
[ ]acl2-doc_8.6+dfsg-3build1_all.deb2026-02-04 06:32 516K
[ ]acl2-infix-source_8.6+dfsg-3build1_all.deb2026-02-04 06:32 73K
[ ]acl2-infix_8.6+dfsg-3build1_arm64.deb2026-02-04 08:06 959K
[ ]acl2-source_8.6+dfsg-3build1_all.deb2026-02-04 06:32 3.9M
[ ]acl2_8.6+dfsg-3build1_arm64.deb2026-02-04 08:06 46M
[ ]elpa-acl2_8.6+dfsg-3build1_all.deb2026-02-04 06:32 79K
Apache/2.4.66 (Ubuntu) Server at repo.empctrl.com Port 80