| 📂 Parent Directory | | |
| 📄 acl2-books-certs_8.0dfsg-1_all.deb | 2018-01-13 13:52:57 | 69.91 MB |
| 📄 acl2-books-certs_8.3dfsg-1_all.deb | 2020-08-24 04:11:07 | 13.34 KB |
| 📄 acl2-books-certs_8.3dfsg-2_all.deb | 2021-01-28 02:25:23 | 138.65 MB |
| 📄 acl2-books-certs_8.5dfsg-5_all.deb | 2023-01-16 14:55:57 | 170.11 MB |
| 📄 acl2-books-certs_8.5dfsg-6_all.deb | 2024-07-28 23:44:16 | 64.16 MB |
| 📄 acl2-books-source_8.0dfsg-1_all.deb | 2018-01-13 13:52:57 | 11.9 MB |
| 📄 acl2-books-source_8.3dfsg-1_all.deb | 2020-08-24 04:11:07 | 18.62 MB |
| 📄 acl2-books-source_8.3dfsg-2_all.deb | 2021-01-28 02:25:23 | 18.63 MB |
| 📄 acl2-books-source_8.5dfsg-5_all.deb | 2023-01-16 14:55:57 | 23.52 MB |
| 📄 acl2-books-source_8.5dfsg-6_all.deb | 2024-07-28 23:44:17 | 23.52 MB |
| 📄 acl2-books_8.0dfsg-1_armhf.deb | 2022-05-01 09:11:46 | 127.55 MB |
| 📄 acl2-books_8.3dfsg-1_armhf.deb | 2020-08-29 10:08:15 | 12.65 KB |
| 📄 acl2-books_8.5dfsg-5_armhf.deb | 2023-01-26 10:08:06 | 265.9 MB |
| 📄 acl2-books_8.5dfsg-6_armhf.deb | 2024-10-04 10:08:05 | 269.85 MB |
| 📄 acl2-doc_8.0dfsg-1_all.deb | 2018-01-13 13:52:59 | 392.11 KB |
| 📄 acl2-doc_8.3dfsg-1_all.deb | 2020-08-24 04:11:07 | 436.99 KB |
| 📄 acl2-doc_8.3dfsg-2_all.deb | 2021-01-28 02:25:23 | 437.12 KB |
| 📄 acl2-doc_8.5dfsg-5_all.deb | 2023-01-16 14:55:57 | 470.05 KB |
| 📄 acl2-doc_8.5dfsg-6_all.deb | 2024-07-28 23:44:17 | 470.17 KB |
| 📄 acl2-emacs_8.0dfsg-1_all.deb | 2018-01-13 13:52:59 | 66.02 KB |
| 📄 acl2-emacs_8.3dfsg-1_all.deb | 2020-08-24 04:11:07 | 67.61 KB |
| 📄 acl2-emacs_8.3dfsg-2_all.deb | 2021-01-28 02:25:23 | 67.79 KB |
| 📄 acl2-infix-source_8.0dfsg-1_all.deb | 2018-01-13 13:52:59 | 77.33 KB |
| 📄 acl2-infix-source_8.3dfsg-1_all.deb | 2020-08-24 04:11:07 | 77.85 KB |
| 📄 acl2-infix-source_8.3dfsg-2_all.deb | 2021-01-28 02:25:23 | 78.01 KB |
| 📄 acl2-infix-source_8.5dfsg-5_all.deb | 2023-01-16 14:55:57 | 70.64 KB |
| 📄 acl2-infix-source_8.5dfsg-6_all.deb | 2024-07-28 23:44:17 | 70.7 KB |
| 📄 acl2-infix_8.0dfsg-1_armhf.deb | 2022-05-01 09:11:46 | 431.77 KB |
| 📄 acl2-infix_8.3dfsg-1_armhf.deb | 2020-08-29 10:08:15 | 431.45 KB |
| 📄 acl2-infix_8.5dfsg-5_armhf.deb | 2023-01-26 10:08:06 | 456.99 KB |
| 📄 acl2-infix_8.5dfsg-6_armhf.deb | 2024-10-04 10:08:05 | 459.15 KB |
| 📄 acl2-source_8.0dfsg-1_all.deb | 2018-01-13 13:52:59 | 2.94 MB |
| 📄 acl2-source_8.3dfsg-1_all.deb | 2020-08-24 04:11:07 | 3.19 MB |
| 📄 acl2-source_8.3dfsg-2_all.deb | 2021-01-28 02:25:23 | 3.19 MB |
| 📄 acl2-source_8.5dfsg-5_all.deb | 2023-01-16 14:55:57 | 3.42 MB |
| 📄 acl2-source_8.5dfsg-6_all.deb | 2024-07-28 23:44:17 | 3.42 MB |
| 📄 acl2_8.0dfsg-1.debian.tar.xz | 2018-01-13 13:52:57 | 199.96 KB |
| 📄 acl2_8.0dfsg-1.dsc | 2018-01-13 13:52:56 | 2.19 KB |
| 📄 acl2_8.0dfsg-1_armhf.deb | 2022-05-01 09:11:46 | 15.89 MB |
| 📄 acl2_8.0dfsg.orig.tar.gz | 2018-01-13 13:52:57 | 74.04 MB |
| 📄 acl2_8.3dfsg-1.debian.tar.xz | 2020-08-24 02:39:38 | 201.16 KB |
| 📄 acl2_8.3dfsg-1.dsc | 2020-08-24 02:39:37 | 2.2 KB |
| 📄 acl2_8.3dfsg-1_armhf.deb | 2020-08-29 10:08:15 | 17.27 MB |
| 📄 acl2_8.3dfsg-2.debian.tar.xz | 2021-01-27 14:34:22 | 222.97 KB |
| 📄 acl2_8.3dfsg-2.dsc | 2021-01-27 14:34:22 | 2.22 KB |
| 📄 acl2_8.3dfsg.orig.tar.gz | 2020-08-24 02:39:38 | 111.83 MB |
| 📄 acl2_8.5dfsg-5.debian.tar.xz | 2023-01-16 02:00:06 | 305.56 KB |
| 📄 acl2_8.5dfsg-5.dsc | 2023-01-16 02:00:06 | 2.21 KB |
| 📄 acl2_8.5dfsg-5_armhf.deb | 2023-01-26 10:08:06 | 18.03 MB |
| 📄 acl2_8.5dfsg-6.debian.tar.xz | 2024-08-03 04:41:00 | 305.52 KB |
| 📄 acl2_8.5dfsg-6.dsc | 2024-08-03 04:40:59 | 2.21 KB |
| 📄 acl2_8.5dfsg-6_armhf.deb | 2024-10-04 10:08:06 | 18.15 MB |
| 📄 acl2_8.5dfsg.orig.tar.gz | 2022-07-27 14:13:36 | 213.19 MB |
| 📄 elpa-acl2_8.5dfsg-5_all.deb | 2023-01-16 14:55:57 | 68.97 KB |
| 📄 elpa-acl2_8.5dfsg-6_all.deb | 2024-07-28 23:44:17 | 69.01 KB |
