| Parent directory/ | - | - |
| acl2_8.5dfsg-5.dsc | 2268 | 2023-Jan-16 02:00 |
| acl2_8.3dfsg-2.dsc | 2275 | 2021-Jan-27 14:34 |
| acl2_8.6+dfsg-2.dsc | 2286 | 2025-Apr-27 12:54 |
| acl2-emacs_8.3dfsg-2_all.deb | 69412 | 2021-Jan-28 02:25 |
| elpa-acl2_8.5dfsg-5_all.deb | 70628 | 2023-Jan-16 14:55 |
| acl2-infix-source_8.5dfsg-5_all.deb | 72332 | 2023-Jan-16 14:55 |
| acl2-infix-source_8.6+dfsg-2_all.deb | 72652 | 2025-Apr-27 19:56 |
| elpa-acl2_8.6+dfsg-2_all.deb | 78264 | 2025-Apr-27 19:56 |
| acl2-infix-source_8.3dfsg-2_all.deb | 79880 | 2021-Jan-28 02:25 |
| acl2_8.3dfsg-2.debian.tar.xz | 228320 | 2021-Jan-27 14:34 |
| acl2_8.5dfsg-5.debian.tar.xz | 312896 | 2023-Jan-16 02:00 |
| acl2_8.6+dfsg-2.debian.tar.xz | 445128 | 2025-Apr-27 12:54 |
| acl2-doc_8.3dfsg-2_all.deb | 447608 | 2021-Jan-28 02:25 |
| acl2-infix_8.5dfsg-5_amd64.deb | 475288 | 2023-Jan-16 20:15 |
| acl2-doc_8.5dfsg-5_all.deb | 481328 | 2023-Jan-16 14:55 |
| acl2-infix_8.3dfsg-2_amd64.deb | 490280 | 2021-Jan-27 21:57 |
| acl2-doc_8.6+dfsg-2_all.deb | 524912 | 2025-Apr-27 19:56 |
| acl2-infix_8.6+dfsg-2_amd64.deb | 886800 | 2025-Apr-27 19:40 |
| acl2-source_8.3dfsg-2_all.deb | 3339896 | 2021-Jan-28 02:25 |
| acl2-source_8.5dfsg-5_all.deb | 3587888 | 2023-Jan-16 14:55 |
| acl2-source_8.6+dfsg-2_all.deb | 3996788 | 2025-Apr-27 19:56 |
| acl2-books-source_8.3dfsg-2_all.deb | 19539252 | 2021-Jan-28 02:25 |
| acl2_8.3dfsg-2_amd64.deb | 21481292 | 2021-Jan-27 21:57 |
| acl2_8.5dfsg-5_amd64.deb | 23408224 | 2023-Jan-16 20:15 |
| acl2-books-source_8.5dfsg-5_all.deb | 24662324 | 2023-Jan-16 14:55 |
| acl2-books-source_8.6+dfsg-2_all.deb | 27502672 | 2025-Apr-27 19:56 |
| acl2_8.6+dfsg-2_amd64.deb | 36900528 | 2025-Apr-27 19:40 |
| acl2_8.3dfsg.orig.tar.gz | 117260902 | 2020-Aug-24 02:39 |
| acl2-books-certs_8.3dfsg-2_all.deb | 145388148 | 2021-Jan-28 02:25 |
| acl2-books-certs_8.5dfsg-5_all.deb | 178375056 | 2023-Jan-16 14:55 |
| acl2-books-certs_8.6+dfsg-2_all.deb | 221620564 | 2025-Apr-27 19:56 |
| acl2_8.5dfsg.orig.tar.gz | 223546594 | 2022-Jul-27 14:13 |
| acl2_8.6+dfsg.orig.tar.gz | 240329345 | 2025-Apr-26 21:21 |
| acl2-books_8.3dfsg-2_amd64.deb | 252878684 | 2021-Jan-27 21:57 |
| acl2-books_8.5dfsg-5_amd64.deb | 300900920 | 2023-Jan-16 20:15 |
| acl2-books_8.6+dfsg-2_amd64.deb | 435743480 | 2025-Apr-27 19:40 |