| Parent directory/ | - | - |
| acl2-books-certs_8.3dfsg-1_all.deb | 13664 | 2020-Aug-24 04:11 |
| 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.5dfsg-6_all.deb | 67277268 | 2024-Jul-28 23:44 |
| acl2-books-certs_8.6+dfsg-2_all.deb | 221620564 | 2025-Apr-27 19:56 |
| acl2-books-certs_8.7+dfsg-2_all.deb | 243390320 | 2026-Jun-17 21:12 |
| acl2-books-source_8.3dfsg-1_all.deb | 19520532 | 2020-Aug-24 04:11 |
| acl2-books-source_8.3dfsg-2_all.deb | 19539252 | 2021-Jan-28 02:25 |
| acl2-books-source_8.5dfsg-5_all.deb | 24662324 | 2023-Jan-16 14:55 |
| acl2-books-source_8.5dfsg-6_all.deb | 24660204 | 2024-Jul-28 23:44 |
| acl2-books-source_8.6+dfsg-2_all.deb | 27502672 | 2025-Apr-27 19:56 |
| acl2-books-source_8.7+dfsg-2_all.deb | 29738624 | 2026-Jun-17 21:12 |
| acl2-books_8.3dfsg-1_armhf.deb | 12956 | 2020-Aug-29 10:08 |
| acl2-books_8.5dfsg-5_armhf.deb | 278815612 | 2023-Jan-26 10:08 |
| acl2-books_8.5dfsg-6_armhf.deb | 282954156 | 2024-Oct-04 10:08 |
| acl2-books_8.7+dfsg-2_armhf.deb | 443837024 | 2026-Jul-08 04:08 |
| acl2-doc_8.3dfsg-1_all.deb | 447480 | 2020-Aug-24 04:11 |
| acl2-doc_8.3dfsg-2_all.deb | 447608 | 2021-Jan-28 02:25 |
| acl2-doc_8.5dfsg-5_all.deb | 481328 | 2023-Jan-16 14:55 |
| acl2-doc_8.5dfsg-6_all.deb | 481452 | 2024-Jul-28 23:44 |
| acl2-doc_8.6+dfsg-2_all.deb | 524912 | 2025-Apr-27 19:56 |
| acl2-doc_8.7+dfsg-2_all.deb | 546044 | 2026-Jun-17 21:12 |
| acl2-emacs_8.3dfsg-1_all.deb | 69232 | 2020-Aug-24 04:11 |
| acl2-emacs_8.3dfsg-2_all.deb | 69412 | 2021-Jan-28 02:25 |
| acl2-infix-source_8.3dfsg-1_all.deb | 79720 | 2020-Aug-24 04:11 |
| acl2-infix-source_8.3dfsg-2_all.deb | 79880 | 2021-Jan-28 02:25 |
| acl2-infix-source_8.5dfsg-5_all.deb | 72332 | 2023-Jan-16 14:55 |
| acl2-infix-source_8.5dfsg-6_all.deb | 72392 | 2024-Jul-28 23:44 |
| acl2-infix-source_8.6+dfsg-2_all.deb | 72652 | 2025-Apr-27 19:56 |
| acl2-infix-source_8.7+dfsg-2_all.deb | 71884 | 2026-Jun-17 21:12 |
| acl2-infix_8.3dfsg-1_armhf.deb | 441808 | 2020-Aug-29 10:08 |
| acl2-infix_8.5dfsg-5_armhf.deb | 467956 | 2023-Jan-26 10:08 |
| acl2-infix_8.5dfsg-6_armhf.deb | 470172 | 2024-Oct-04 10:08 |
| acl2-infix_8.7+dfsg-2_armhf.deb | 858992 | 2026-Jul-08 04:08 |
| acl2-source_8.3dfsg-1_all.deb | 3340264 | 2020-Aug-24 04:11 |
| 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.5dfsg-6_all.deb | 3587740 | 2024-Jul-28 23:44 |
| acl2-source_8.6+dfsg-2_all.deb | 3996788 | 2025-Apr-27 19:56 |
| acl2-source_8.7+dfsg-2_all.deb | 4071608 | 2026-Jun-17 21:12 |
| acl2_8.3dfsg-1.debian.tar.xz | 205984 | 2020-Aug-24 02:39 |
| acl2_8.3dfsg-1.dsc | 2250 | 2020-Aug-24 02:39 |
| acl2_8.3dfsg-1_armhf.deb | 18109240 | 2020-Aug-29 10:08 |
| acl2_8.3dfsg-2.debian.tar.xz | 228320 | 2021-Jan-27 14:34 |
| acl2_8.3dfsg-2.dsc | 2275 | 2021-Jan-27 14:34 |
| acl2_8.3dfsg.orig.tar.gz | 117260902 | 2020-Aug-24 02:39 |
| acl2_8.5dfsg-5.debian.tar.xz | 312896 | 2023-Jan-16 02:00 |
| acl2_8.5dfsg-5.dsc | 2268 | 2023-Jan-16 02:00 |
| acl2_8.5dfsg-5_armhf.deb | 18907700 | 2023-Jan-26 10:08 |
| acl2_8.5dfsg-6.debian.tar.xz | 312848 | 2024-Aug-03 04:41 |
| acl2_8.5dfsg-6.dsc | 2268 | 2024-Aug-03 04:40 |
| acl2_8.5dfsg-6_armhf.deb | 19031604 | 2024-Oct-04 10:08 |
| acl2_8.5dfsg.orig.tar.gz | 223546594 | 2022-Jul-27 14:13 |
| acl2_8.6+dfsg-2.debian.tar.xz | 445128 | 2025-Apr-27 12:54 |
| acl2_8.6+dfsg-2.dsc | 2286 | 2025-Apr-27 12:54 |
| acl2_8.6+dfsg.orig.tar.gz | 240329345 | 2025-Apr-26 21:21 |
| acl2_8.7+dfsg-2.debian.tar.xz | 902016 | 2026-Jun-17 14:31 |
| acl2_8.7+dfsg-2.dsc | 2288 | 2026-Jun-17 14:31 |
| acl2_8.7+dfsg-2_armhf.deb | 39426908 | 2026-Jul-08 04:08 |
| acl2_8.7+dfsg.orig.tar.gz | 249797630 | 2026-Jun-17 08:01 |
| elpa-acl2_8.5dfsg-5_all.deb | 70628 | 2023-Jan-16 14:55 |
| elpa-acl2_8.5dfsg-6_all.deb | 70664 | 2024-Jul-28 23:44 |
| elpa-acl2_8.6+dfsg-2_all.deb | 78264 | 2025-Apr-27 19:56 |
| elpa-acl2_8.7+dfsg-2_all.deb | 77544 | 2026-Jun-17 21:12 |