NameLast modifiedSize
(File)
acl2-books-certs_8.2dfsg-3build1_all.deb
March 23, 2020 8:24 PM
66M
(File)
acl2-books-certs_8.4dfsg-2_all.deb
December 19, 2021 8:10 AM
221M
(File)
acl2-books-certs_8.5dfsg-5build3_all.deb
April 2, 2024 3:03 PM
216M
(File)
acl2-books-source_8.2dfsg-3build1_all.deb
March 23, 2020 8:24 PM
14M
(File)
acl2-books-source_8.4dfsg-2_all.deb
December 19, 2021 8:10 AM
21M
(File)
acl2-books-source_8.5dfsg-5build3_all.deb
April 2, 2024 3:02 PM
23M
(File)
acl2-books_8.2dfsg-3build1_amd64.deb
March 23, 2020 8:24 PM
163M
(File)
acl2-books_8.4dfsg-2_amd64.deb
December 19, 2021 8:09 AM
338M
(File)
acl2-books_8.5dfsg-5build3_amd64.deb
April 2, 2024 3:03 PM
331M
(File)
acl2-doc_8.2dfsg-3build1_all.deb
March 23, 2020 8:24 PM
418K
(File)
acl2-doc_8.4dfsg-2_all.deb
December 19, 2021 8:09 AM
441K
(File)
acl2-doc_8.5dfsg-5build3_all.deb
April 2, 2024 3:02 PM
474K
(File)
acl2-emacs_8.2dfsg-3build1_all.deb
March 23, 2020 8:24 PM
59K
(File)
acl2-infix-source_8.2dfsg-3build1_all.deb
March 23, 2020 8:24 PM
70K
(File)
acl2-infix-source_8.4dfsg-2_all.deb
December 19, 2021 8:10 AM
72K
(File)
acl2-infix-source_8.5dfsg-5build3_all.deb
April 2, 2024 3:02 PM
72K
(File)
acl2-infix_8.2dfsg-3build1_amd64.deb
March 23, 2020 8:24 PM
470K
(File)
acl2-infix_8.4dfsg-2_amd64.deb
December 19, 2021 8:09 AM
551K
(File)
acl2-infix_8.5dfsg-5build3_amd64.deb
April 2, 2024 3:02 PM
538K
(File)
acl2-source_8.2dfsg-3build1_all.deb
March 23, 2020 8:24 PM
3.1M
(File)
acl2-source_8.4dfsg-2_all.deb
December 19, 2021 8:10 AM
3.4M
(File)
acl2-source_8.5dfsg-5build3_all.deb
April 2, 2024 3:02 PM
3.5M
(File)
acl2_8.2dfsg-3build1_amd64.deb
March 23, 2020 8:24 PM
21M
(File)
acl2_8.4dfsg-2_amd64.deb
December 19, 2021 8:10 AM
25M
(File)
acl2_8.5dfsg-5build3_amd64.deb
April 2, 2024 3:03 PM
26M
(File)
elpa-acl2_8.4dfsg-2_all.deb
December 19, 2021 8:09 AM
69K
(File)
elpa-acl2_8.5dfsg-5build3_all.deb
April 2, 2024 3:02 PM
71K