| Parent directory/ | - | - |
| acl2-books_8.5dfsg-5_armhf.deb | 278815612 | 2023-Jan-26 10:08 |
| acl2-infix_8.5dfsg-5_armhf.deb | 467956 | 2023-Jan-26 10:08 |
| acl2_8.5dfsg-5_armhf.deb | 18907700 | 2023-Jan-26 10:08 |
| acl2-books-certs_8.5dfsg-5_all.deb | 178375056 | 2023-Jan-16 14:55 |
| acl2-books-source_8.5dfsg-5_all.deb | 24662324 | 2023-Jan-16 14:55 |
| acl2-doc_8.5dfsg-5_all.deb | 481328 | 2023-Jan-16 14:55 |
| acl2-infix-source_8.5dfsg-5_all.deb | 72332 | 2023-Jan-16 14:55 |
| acl2-source_8.5dfsg-5_all.deb | 3587888 | 2023-Jan-16 14:55 |
| elpa-acl2_8.5dfsg-5_all.deb | 70628 | 2023-Jan-16 14:55 |
| 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.orig.tar.gz | 223546594 | 2022-Jul-27 14:13 |
| acl2-books_8.0dfsg-1_armhf.deb | 133744084 | 2022-May-01 09:11 |
| acl2-infix_8.0dfsg-1_armhf.deb | 442132 | 2022-May-01 09:11 |
| acl2_8.0dfsg-1_armhf.deb | 16659012 | 2022-May-01 09:11 |
| acl2-books-certs_8.3dfsg-2_all.deb | 145388148 | 2021-Jan-28 02:25 |
| acl2-books-source_8.3dfsg-2_all.deb | 19539252 | 2021-Jan-28 02:25 |
| acl2-doc_8.3dfsg-2_all.deb | 447608 | 2021-Jan-28 02:25 |
| acl2-emacs_8.3dfsg-2_all.deb | 69412 | 2021-Jan-28 02:25 |
| acl2-infix-source_8.3dfsg-2_all.deb | 79880 | 2021-Jan-28 02:25 |
| acl2-source_8.3dfsg-2_all.deb | 3339896 | 2021-Jan-28 02:25 |
| 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-books_8.3dfsg-1_armhf.deb | 12956 | 2020-Aug-29 10:08 |
| acl2-infix_8.3dfsg-1_armhf.deb | 441808 | 2020-Aug-29 10:08 |
| acl2_8.3dfsg-1_armhf.deb | 18109240 | 2020-Aug-29 10:08 |
| acl2-books-certs_8.3dfsg-1_all.deb | 13664 | 2020-Aug-24 04:11 |
| acl2-books-source_8.3dfsg-1_all.deb | 19520532 | 2020-Aug-24 04:11 |
| acl2-doc_8.3dfsg-1_all.deb | 447480 | 2020-Aug-24 04:11 |
| acl2-emacs_8.3dfsg-1_all.deb | 69232 | 2020-Aug-24 04:11 |
| acl2-infix-source_8.3dfsg-1_all.deb | 79720 | 2020-Aug-24 04:11 |
| acl2-source_8.3dfsg-1_all.deb | 3340264 | 2020-Aug-24 04:11 |
| acl2_8.3dfsg-1.debian.tar.xz | 205984 | 2020-Aug-24 02:39 |
| acl2_8.3dfsg.orig.tar.gz | 117260902 | 2020-Aug-24 02:39 |
| acl2_8.3dfsg-1.dsc | 2250 | 2020-Aug-24 02:39 |
| acl2-doc_8.0dfsg-1_all.deb | 401524 | 2018-Jan-13 13:52 |
| acl2-emacs_8.0dfsg-1_all.deb | 67608 | 2018-Jan-13 13:52 |
| acl2-infix-source_8.0dfsg-1_all.deb | 79188 | 2018-Jan-13 13:52 |
| acl2-source_8.0dfsg-1_all.deb | 3081324 | 2018-Jan-13 13:52 |
| acl2-books-certs_8.0dfsg-1_all.deb | 73306868 | 2018-Jan-13 13:52 |
| acl2-books-source_8.0dfsg-1_all.deb | 12473396 | 2018-Jan-13 13:52 |
| acl2_8.0dfsg-1.debian.tar.xz | 204760 | 2018-Jan-13 13:52 |
| acl2_8.0dfsg.orig.tar.gz | 77635571 | 2018-Jan-13 13:52 |
| acl2_8.0dfsg-1.dsc | 2245 | 2018-Jan-13 13:52 |