Index of /linux/ubuntu/22.04-mirror/pool/universe/a/acl2
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/unknown.gif)
acl2-books-certs_8.4dfsg-2_all.deb 2021-12-18 18:10 221M
acl2-books-source_8.4dfsg-2_all.deb 2021-12-18 18:10 21M
acl2-books_8.4dfsg-2_amd64.deb 2021-12-18 18:09 338M
acl2-doc_8.4dfsg-2_all.deb 2021-12-18 18:09 441K
acl2-infix-source_8.4dfsg-2_all.deb 2021-12-18 18:10 72K
acl2-infix_8.4dfsg-2_amd64.deb 2021-12-18 18:09 551K
acl2-source_8.4dfsg-2_all.deb 2021-12-18 18:10 3.4M
acl2_8.4dfsg-2_amd64.deb 2021-12-18 18:10 25M
elpa-acl2_8.4dfsg-2_all.deb 2021-12-18 18:09 69K