| Parent directory/ | - | - |
| acl2-books-certs_6.3-5_all.deb | 11.1 MiB | 2013-Oct-24 20:06 |
| acl2-books-certs_7.1-1_all.deb | 12.6 MiB | 2015-Jun-27 17:18 |
| acl2-books-certs_8.0dfsg-1_all.deb | 70.0 MiB | 2018-Jan-14 06:38 |
| acl2-books-certs_8.2dfsg-3build1_all.deb | 65.8 MiB | 2020-Mar-23 16:54 |
| acl2-books-certs_8.4dfsg-2_all.deb | 221.1 MiB | 2021-Dec-19 04:40 |
| acl2-books-certs_8.5dfsg-1_all.deb | 220.1 MiB | 2022-Jul-28 12:59 |
| acl2-books-certs_8.5dfsg-5_all.deb | 216.2 MiB | 2023-Jan-17 05:59 |
| acl2-books-source_6.3-5_all.deb | 9.1 MiB | 2013-Oct-24 20:06 |
| acl2-books-source_7.1-1_all.deb | 9.9 MiB | 2015-Jun-27 17:18 |
| acl2-books-source_8.0dfsg-1_all.deb | 11.9 MiB | 2018-Jan-14 06:38 |
| acl2-books-source_8.2dfsg-3build1_all.deb | 13.6 MiB | 2020-Mar-23 16:54 |
| acl2-books-source_8.4dfsg-2_all.deb | 21.1 MiB | 2021-Dec-19 04:40 |
| acl2-books-source_8.5dfsg-1_all.deb | 22.7 MiB | 2022-Jul-28 12:59 |
| acl2-books-source_8.5dfsg-5_all.deb | 22.9 MiB | 2023-Jan-17 05:59 |
| acl2-books_6.3-5_amd64.deb | 40.1 MiB | 2013-Oct-24 20:06 |
| acl2-books_6.3-5_i386.deb | 35.8 MiB | 2013-Oct-24 20:06 |
| acl2-books_7.1-1_amd64.deb | 18.7 MiB | 2015-Jun-27 17:18 |
| acl2-books_7.1-1_i386.deb | 17.7 MiB | 2015-Jun-02 06:13 |
| acl2-books_8.0dfsg-1_amd64.deb | 131.7 MiB | 2018-Jan-14 06:38 |
| acl2-books_8.0dfsg-1_i386.deb | 114.1 MiB | 2018-Jan-14 08:19 |
| acl2-books_8.2dfsg-3build1_amd64.deb | 163.4 MiB | 2020-Mar-23 16:54 |
| acl2-books_8.4dfsg-2_amd64.deb | 337.6 MiB | 2021-Dec-19 04:39 |
| acl2-books_8.5dfsg-1_amd64.deb | 335.4 MiB | 2022-Jul-28 12:59 |
| acl2-books_8.5dfsg-5_amd64.deb | 223.3 MiB | 2026-Jul-18 10:12 |
