Index of /archive.ubuntu.com/ubuntu/pool/universe/a/acl2
Name
Last modified
Size
Description
Parent Directory
-
acl2-infix_8.4dfsg-2_amd64.deb
2021-12-19 01:09
551K
elpa-acl2_8.4dfsg-2_all.deb
2021-12-19 01:09
69K
acl2-books_8.4dfsg-2_amd64.deb
2021-12-19 01:09
338M
acl2-doc_8.4dfsg-2_all.deb
2021-12-19 01:09
441K
acl2-source_8.4dfsg-2_all.deb
2021-12-19 01:10
3.4M
acl2-books-certs_8.4dfsg-2_all.deb
2021-12-19 01:10
221M
acl2_8.4dfsg-2_amd64.deb
2021-12-19 01:10
25M
acl2-books-source_8.4dfsg-2_all.deb
2021-12-19 01:10
21M
acl2-infix-source_8.4dfsg-2_all.deb
2021-12-19 01:10
72K
acl2-doc_8.5dfsg-5build3_all.deb
2024-04-02 08:02
474K
acl2-infix-source_8.5dfsg-5build3_all.deb
2024-04-02 08:02
72K
acl2-infix_8.5dfsg-5build3_amd64.deb
2024-04-02 08:02
538K
acl2-source_8.5dfsg-5build3_all.deb
2024-04-02 08:02
3.5M
elpa-acl2_8.5dfsg-5build3_all.deb
2024-04-02 08:02
71K
acl2-books-source_8.5dfsg-5build3_all.deb
2024-04-02 08:02
23M
acl2-books-certs_8.5dfsg-5build3_all.deb
2024-04-02 08:03
216M
acl2-books_8.5dfsg-5build3_amd64.deb
2024-04-02 08:03
331M
acl2_8.5dfsg-5build3_amd64.deb
2024-04-02 08:03
26M
Apache/2.4.58 (Ubuntu) Server at 50.120.85.37 Port 80