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