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