![[ICO]](/icons/blank.gif) | Name | Last modified | Size |
|---|
![[DIR]](/icons/back.gif) | Parent Directory | | - |
![[ ]](/icons/unknown.gif) | elpa-acl2_8.5dfsg-6_all.deb | 29-Jul-2024 05:20 | 71K |
| elpa-acl2_8.5dfsg-5build3_all.deb | 02-Apr-2024 09:02 | 71K |
| elpa-acl2_8.4dfsg-2_all.deb | 19-Dec-2021 01:09 | 69K |
![[ ]](/icons/compressed.gif) | acl2_8.5dfsg.orig.tar.gz | 28-Jul-2022 00:33 | 213M |
| acl2_8.5dfsg-6_amd64.deb | 29-Jul-2024 05:20 | 25M |
![[TXT]](/icons/text.gif) | acl2_8.5dfsg-6.dsc | 29-Jul-2024 00:59 | 2.2K |
| acl2_8.5dfsg-6.debian.tar.xz | 29-Jul-2024 00:59 | 306K |
| acl2_8.5dfsg-5build3_amd64.deb | 02-Apr-2024 09:03 | 26M |
| acl2_8.5dfsg-5build3.dsc | 01-Apr-2024 06:43 | 2.3K |
| acl2_8.5dfsg-5build3.debian.tar.xz | 01-Apr-2024 06:43 | 306K |
| acl2_8.4dfsg.orig.tar.gz | 29-Oct-2021 00:18 | 194M |
| acl2_8.4dfsg-2_amd64.deb | 19-Dec-2021 01:10 | 25M |
| acl2_8.4dfsg-2.dsc | 01-Nov-2021 23:24 | 2.2K |
| acl2_8.4dfsg-2.debian.tar.xz | 01-Nov-2021 23:24 | 304K |
| acl2_8.2dfsg.orig.tar.gz | 19-Dec-2019 23:13 | 77M |
| acl2_8.2dfsg-3build1_amd64.deb | 23-Mar-2020 13:24 | 21M |
| acl2_8.2dfsg-3build1.dsc | 23-Mar-2020 07:00 | 2.2K |
| acl2_8.2dfsg-3build1.debian.tar.xz | 23-Mar-2020 07:00 | 201K |
| acl2_8.0dfsg.orig.tar.gz | 13-Jan-2018 23:08 | 74M |
| acl2_8.0dfsg-1_i386.deb | 14-Jan-2018 04:49 | 16M |
| acl2_8.0dfsg-1_amd64.deb | 14-Jan-2018 03:08 | 19M |
| acl2_8.0dfsg-1.dsc | 13-Jan-2018 23:08 | 2.2K |
| acl2_8.0dfsg-1.debian.tar.xz | 13-Jan-2018 23:08 | 200K |
| acl2_7.1.orig.tar.gz | 02-Jun-2015 00:24 | 60M |
| acl2_7.1-1_i386.deb | 02-Jun-2015 03:43 | 16M |
| acl2_7.1-1_amd64.deb | 27-Jun-2015 14:48 | 16M |
| acl2_7.1-1.dsc | 02-Jun-2015 00:24 | 2.2K |
| acl2_7.1-1.debian.tar.xz | 02-Jun-2015 00:24 | 126K |
| acl2_6.3.orig.tar.gz | 21-Oct-2013 14:09 | 6.7M |
| acl2_6.3.orig-books.tar.gz | 21-Oct-2013 14:09 | 13M |
| acl2_6.3-5_i386.deb | 24-Oct-2013 17:36 | 23M |
| acl2_6.3-5_amd64.deb | 24-Oct-2013 17:36 | 27M |
| acl2_6.3-5.dsc | 21-Oct-2013 14:09 | 1.7K |
| acl2_6.3-5.debian.tar.gz | 21-Oct-2013 14:09 | 158K |
| acl2-source_8.5dfsg-6_all.deb | 29-Jul-2024 05:20 | 3.5M |
| acl2-source_8.5dfsg-5build3_all.deb | 02-Apr-2024 09:02 | 3.5M |
| acl2-source_8.4dfsg-2_all.deb | 19-Dec-2021 01:10 | 3.4M |
| acl2-source_8.2dfsg-3build1_all.deb | 23-Mar-2020 13:24 | 3.1M |
| acl2-source_8.0dfsg-1_all.deb | 14-Jan-2018 03:08 | 2.9M |
| acl2-source_7.1-1_all.deb | 27-Jun-2015 14:48 | 2.7M |
| acl2-source_6.3-5_all.deb | 24-Oct-2013 17:36 | 3.6M |
| acl2-infix_8.5dfsg-6_amd64.deb | 29-Jul-2024 05:20 | 533K |
| acl2-infix_8.5dfsg-5build3_amd64.deb | 02-Apr-2024 09:02 | 538K |
| acl2-infix_8.4dfsg-2_amd64.deb | 19-Dec-2021 01:09 | 551K |
| acl2-infix_8.2dfsg-3build1_amd64.deb | 23-Mar-2020 13:24 | 470K |
| acl2-infix_8.0dfsg-1_i386.deb | 14-Jan-2018 04:49 | 381K |
| acl2-infix_8.0dfsg-1_amd64.deb | 14-Jan-2018 03:08 | 414K |
| acl2-infix_7.1-1_i386.deb | 02-Jun-2015 03:43 | 142K |
| acl2-infix_7.1-1_amd64.deb | 27-Jun-2015 14:48 | 140K |
| acl2-infix_6.3-5_i386.deb | 24-Oct-2013 17:36 | 189K |
| acl2-infix_6.3-5_amd64.deb | 24-Oct-2013 17:36 | 200K |
| acl2-infix-source_8.5dfsg-6_all.deb | 29-Jul-2024 05:20 | 72K |
| acl2-infix-source_8.5dfsg-5build3_all.deb | 02-Apr-2024 09:02 | 72K |
| acl2-infix-source_8.4dfsg-2_all.deb | 19-Dec-2021 01:10 | 72K |
| acl2-infix-source_8.2dfsg-3build1_all.deb | 23-Mar-2020 13:24 | 70K |
| acl2-infix-source_8.0dfsg-1_all.deb | 14-Jan-2018 03:08 | 70K |
| acl2-infix-source_7.1-1_all.deb | 27-Jun-2015 14:48 | 70K |
| acl2-infix-source_6.3-5_all.deb | 24-Oct-2013 17:36 | 86K |
| acl2-emacs_8.2dfsg-3build1_all.deb | 23-Mar-2020 13:24 | 59K |
| acl2-emacs_8.0dfsg-1_all.deb | 14-Jan-2018 03:08 | 59K |
| acl2-emacs_7.1-1_all.deb | 27-Jun-2015 14:48 | 55K |
| acl2-emacs_6.3-5_all.deb | 24-Oct-2013 17:36 | 55K |
| acl2-doc_8.5dfsg-6_all.deb | 29-Jul-2024 05:20 | 474K |
| acl2-doc_8.5dfsg-5build3_all.deb | 02-Apr-2024 09:02 | 474K |
| acl2-doc_8.4dfsg-2_all.deb | 19-Dec-2021 01:09 | 441K |
| acl2-doc_8.2dfsg-3build1_all.deb | 23-Mar-2020 13:24 | 418K |
| acl2-doc_8.0dfsg-1_all.deb | 14-Jan-2018 03:08 | 385K |
| acl2-doc_7.1-1_all.deb | 27-Jun-2015 14:48 | 353K |
| acl2-doc_6.3-5_all.deb | 24-Oct-2013 17:36 | 12M |
| acl2-books_8.5dfsg-6_amd64.deb | 29-Jul-2024 05:20 | 171M |
| acl2-books_8.5dfsg-5build3_amd64.deb | 02-Apr-2024 09:03 | 331M |
| acl2-books_8.4dfsg-2_amd64.deb | 19-Dec-2021 01:09 | 338M |
| acl2-books_8.2dfsg-3build1_amd64.deb | 23-Mar-2020 13:24 | 163M |
| acl2-books_8.0dfsg-1_i386.deb | 14-Jan-2018 04:49 | 114M |
| acl2-books_8.0dfsg-1_amd64.deb | 14-Jan-2018 03:08 | 132M |
| acl2-books_7.1-1_i386.deb | 02-Jun-2015 03:43 | 18M |
| acl2-books_7.1-1_amd64.deb | 27-Jun-2015 14:48 | 19M |
| acl2-books_6.3-5_i386.deb | 24-Oct-2013 17:36 | 36M |
| acl2-books_6.3-5_amd64.deb | 24-Oct-2013 17:36 | 40M |
| acl2-books-source_8.5dfsg-6_all.deb | 29-Jul-2024 05:20 | 23M |
| acl2-books-source_8.5dfsg-5build3_all.deb | 02-Apr-2024 09:02 | 23M |
| acl2-books-source_8.4dfsg-2_all.deb | 19-Dec-2021 01:10 | 21M |
| acl2-books-source_8.2dfsg-3build1_all.deb | 23-Mar-2020 13:24 | 14M |
| acl2-books-source_8.0dfsg-1_all.deb | 14-Jan-2018 03:08 | 12M |
| acl2-books-source_7.1-1_all.deb | 27-Jun-2015 14:48 | 9.9M |
| acl2-books-source_6.3-5_all.deb | 24-Oct-2013 17:36 | 9.1M |
| acl2-books-certs_8.5dfsg-6_all.deb | 29-Jul-2024 05:20 | 79M |
| acl2-books-certs_8.5dfsg-5build3_all.deb | 02-Apr-2024 09:03 | 216M |
| acl2-books-certs_8.4dfsg-2_all.deb | 19-Dec-2021 01:10 | 221M |
| acl2-books-certs_8.2dfsg-3build1_all.deb | 23-Mar-2020 13:24 | 66M |
| acl2-books-certs_8.0dfsg-1_all.deb | 14-Jan-2018 03:08 | 70M |
| acl2-books-certs_7.1-1_all.deb | 27-Jun-2015 14:48 | 13M |
| acl2-books-certs_6.3-5_all.deb | 24-Oct-2013 17:36 | 11M |