You're awesome. Have a mirror on us.
We love Linux, privacy, fast and affordable internet access, and working to fulfill our mission of internet freedom for all.
Name
Last modified
Size
Description
Parent Directory
-
acl2-books-certs_8.0dfsg-1_all.deb
2019-02-12 20:00
70M
acl2-books-certs_8.3dfsg-2_all.deb
2021-02-01 18:47
139M
acl2-books-source_8.0dfsg-1_all.deb
2019-02-12 20:00
12M
acl2-books-source_8.3dfsg-2_all.deb
2021-02-01 18:47
19M
acl2-books_8.0dfsg-1_amd64.deb
2019-02-12 20:02
132M
acl2-books_8.0dfsg-1_arm64.deb
2019-02-12 20:03
135M
acl2-books_8.3dfsg-2_amd64.deb
2021-02-01 18:47
241M
acl2-books_8.3dfsg-2_arm64.deb
2021-02-01 18:47
236M
acl2-doc_8.0dfsg-1_all.deb
2019-02-12 19:59
392K
acl2-doc_8.3dfsg-2_all.deb
2021-02-01 18:47
437K
acl2-emacs_8.0dfsg-1_all.deb
2019-02-12 19:59
66K
acl2-emacs_8.3dfsg-2_all.deb
2021-02-01 18:47
68K
acl2-infix-source_8.0dfsg-1_all.deb
2019-02-12 19:59
77K
acl2-infix-source_8.3dfsg-2_all.deb
2021-02-01 18:47
78K
acl2-infix_8.0dfsg-1_amd64.deb
2019-02-12 20:00
422K
acl2-infix_8.0dfsg-1_arm64.deb
2019-02-12 20:02
432K
acl2-infix_8.3dfsg-2_amd64.deb
2021-02-01 18:47
479K
acl2-infix_8.3dfsg-2_arm64.deb
2021-02-01 18:47
469K
acl2-source_8.0dfsg-1_all.deb
2019-02-12 20:00
2.9M
acl2-source_8.3dfsg-2_all.deb
2021-02-01 18:47
3.2M
acl2_8.0dfsg-1.debian.tar.xz
2019-02-12 19:58
200K
acl2_8.0dfsg-1.dsc
2019-02-12 19:58
2.2K
acl2_8.0dfsg-1_amd64.deb
2019-02-12 20:00
19M
acl2_8.0dfsg-1_arm64.deb
2019-02-12 20:02
17M
acl2_8.0dfsg.orig.tar.gz
2019-02-12 19:58
74M
acl2_8.3dfsg-2.debian.tar.xz
2021-02-01 18:43
223K
acl2_8.3dfsg-2.dsc
2021-02-01 18:43
2.2K
acl2_8.3dfsg-2_amd64.deb
2021-02-01 18:47
20M
acl2_8.3dfsg-2_arm64.deb
2021-02-01 18:47
19M
acl2_8.3dfsg.orig.tar.gz
2020-08-28 19:43
112M