Index of /ubuntu/pool/universe/a/acl2
Name
Last modified
Size
Description
Parent Directory
-
acl2-books_8.4dfsg-2_amd64.deb
2021-12-19 08:09
338M
acl2-books_8.5dfsg-5build3_amd64.deb
2024-04-02 15:03
331M
acl2-books-certs_8.4dfsg-2_all.deb
2021-12-19 08:10
221M
acl2-books-certs_8.5dfsg-5build3_all.deb
2024-04-02 15:03
216M
acl2-books_8.2dfsg-3build1_amd64.deb
2020-03-23 20:24
163M
acl2-books-certs_8.2dfsg-3build1_all.deb
2020-03-23 20:24
66M
acl2_8.5dfsg-5build3_amd64.deb
2024-04-02 15:03
26M
acl2_8.4dfsg-2_amd64.deb
2021-12-19 08:10
25M
acl2-books-source_8.5dfsg-5build3_all.deb
2024-04-02 15:02
23M
acl2-books-source_8.4dfsg-2_all.deb
2021-12-19 08:10
21M
acl2_8.2dfsg-3build1_amd64.deb
2020-03-23 20:24
21M
acl2-books-source_8.2dfsg-3build1_all.deb
2020-03-23 20:24
14M
acl2-source_8.5dfsg-5build3_all.deb
2024-04-02 15:02
3.5M
acl2-source_8.4dfsg-2_all.deb
2021-12-19 08:10
3.4M
acl2-source_8.2dfsg-3build1_all.deb
2020-03-23 20:24
3.1M
acl2-infix_8.4dfsg-2_amd64.deb
2021-12-19 08:09
551K
acl2-infix_8.5dfsg-5build3_amd64.deb
2024-04-02 15:02
538K
acl2-doc_8.5dfsg-5build3_all.deb
2024-04-02 15:02
474K
acl2-infix_8.2dfsg-3build1_amd64.deb
2020-03-23 20:24
470K
acl2-doc_8.4dfsg-2_all.deb
2021-12-19 08:09
441K
acl2-doc_8.2dfsg-3build1_all.deb
2020-03-23 20:24
418K
acl2-infix-source_8.5dfsg-5build3_all.deb
2024-04-02 15:02
72K
acl2-infix-source_8.4dfsg-2_all.deb
2021-12-19 08:10
72K
elpa-acl2_8.5dfsg-5build3_all.deb
2024-04-02 15:02
71K
acl2-infix-source_8.2dfsg-3build1_all.deb
2020-03-23 20:24
70K
elpa-acl2_8.4dfsg-2_all.deb
2021-12-19 08:09
69K
acl2-emacs_8.2dfsg-3build1_all.deb
2020-03-23 20:24
59K
Apache/2.4.62 (Debian) Server at mirror-gw.elastis.id Port 80