|
📁 ../
|
- |
- |
|
📄 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.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-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.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-2_amd64.deb
|
252878684 bytes
|
2021-01-27 21:57:13 |
|
📄 acl2-books_8.3dfsg-2_arm64.deb
|
247461500 bytes
|
2021-01-28 15:43:01 |
|
📄 acl2-books_8.3dfsg-2_armhf.deb
|
233775700 bytes
|
2021-01-28 06:42:54 |
|
📄 acl2-books_8.3dfsg-2_i386.deb
|
213849148 bytes
|
2021-01-27 22:22:26 |
|
📄 acl2-books_8.5dfsg-5_amd64.deb
|
300900920 bytes
|
2023-01-16 20:15:10 |
|
📄 acl2-books_8.5dfsg-5_arm64.deb
|
303470876 bytes
|
2023-01-17 21:13:23 |
|
📄 acl2-books_8.5dfsg-5_armel.deb
|
280803828 bytes
|
2023-01-17 19:26:45 |
|
📄 acl2-books_8.5dfsg-5_armhf.deb
|
284902980 bytes
|
2023-01-17 11:32:25 |
|
📄 acl2-books_8.5dfsg-5_i386.deb
|
259607668 bytes
|
2023-01-16 15:16:26 |
|
📄 acl2-books_8.5dfsg-5_mips64el.deb
|
324497736 bytes
|
2023-01-23 12:58:23 |
|
📄 acl2-books_8.5dfsg-5_mipsel.deb
|
298373940 bytes
|
2023-01-22 00:30:47 |
|
📄 acl2-books_8.5dfsg-5_ppc64el.deb
|
305663132 bytes
|
2023-01-18 20:10:39 |
|
📄 acl2-books_8.5dfsg-5_s390x.deb
|
280359528 bytes
|
2023-01-16 14:30:31 |
|
📄 acl2-books_8.6+dfsg-2_amd64.deb
|
435743480 bytes
|
2025-04-27 19:40:58 |
|
📄 acl2-books_8.6+dfsg-2_arm64.deb
|
432522576 bytes
|
2025-04-27 19:56:10 |
|
📄 acl2-books_8.6+dfsg-2_armel.deb
|
404366068 bytes
|
2025-04-27 21:17:05 |
|
📄 acl2-books_8.6+dfsg-2_armhf.deb
|
413798288 bytes
|
2025-04-28 17:17:54 |
|
📄 acl2-books_8.6+dfsg-2_i386.deb
|
360999248 bytes
|
2025-04-27 19:25:16 |
|
📄 acl2-books_8.6+dfsg-2_ppc64el.deb
|
450653084 bytes
|
2025-04-27 19:30:23 |
|
📄 acl2-books_8.6+dfsg-2_riscv64.deb
|
981501120 bytes
|
2025-05-02 01:29:20 |
|
📄 acl2-books_8.6+dfsg-2_s390x.deb
|
436947596 bytes
|
2025-04-28 03:56:37 |
|
📄 acl2-books_8.7+dfsg-2_amd64.deb
|
478722348 bytes
|
2026-06-17 21:23:20 |
|
📄 acl2-books_8.7+dfsg-2_arm64.deb
|
469856376 bytes
|
2026-06-17 20:31:54 |
|
📄 acl2-books_8.7+dfsg-2_armhf.deb
|
455931460 bytes
|
2026-06-18 01:08:48 |
|
📄 acl2-books_8.7+dfsg-2_i386.deb
|
416998776 bytes
|
2026-06-18 01:39:47 |
|
📄 acl2-books_8.7+dfsg-2_loong64.deb
|
620161192 bytes
|
2026-06-18 10:18:17 |
|
📄 acl2-books_8.7+dfsg-2_ppc64el.deb
|
510298916 bytes
|
2026-06-17 21:57:33 |
|
📄 acl2-books_8.7+dfsg-2_riscv64.deb
|
1253239068 bytes
|
2026-06-27 06:29:38 |
|
📄 acl2-books_8.7+dfsg-2_s390x.deb
|
481507580 bytes
|
2026-06-18 02:00:16 |
|
📄 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.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-2_all.deb
|
69412 bytes
|
2021-01-28 02:25:23 |
|
📄 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.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-2_amd64.deb
|
490280 bytes
|
2021-01-27 21:57:13 |
|
📄 acl2-infix_8.3dfsg-2_arm64.deb
|
480668 bytes
|
2021-01-28 15:43:01 |
|
📄 acl2-infix_8.3dfsg-2_armhf.deb
|
489768 bytes
|
2021-01-28 06:42:54 |
|
📄 acl2-infix_8.3dfsg-2_i386.deb
|
496480 bytes
|
2021-01-27 22:22:26 |
|
📄 acl2-infix_8.5dfsg-5_amd64.deb
|
475288 bytes
|
2023-01-16 20:15:10 |
|
📄 acl2-infix_8.5dfsg-5_arm64.deb
|
471720 bytes
|
2023-01-17 21:13:23 |
|
📄 acl2-infix_8.5dfsg-5_armel.deb
|
470112 bytes
|
2023-01-17 19:26:45 |
|
📄 acl2-infix_8.5dfsg-5_armhf.deb
|
483688 bytes
|
2023-01-17 11:32:25 |
|
📄 acl2-infix_8.5dfsg-5_i386.deb
|
488940 bytes
|
2023-01-16 15:16:26 |
|
📄 acl2-infix_8.5dfsg-5_mips64el.deb
|
502308 bytes
|
2023-01-23 12:58:24 |
|
📄 acl2-infix_8.5dfsg-5_mipsel.deb
|
514928 bytes
|
2023-01-22 00:30:47 |
|
📄 acl2-infix_8.5dfsg-5_ppc64el.deb
|
494624 bytes
|
2023-01-18 20:10:39 |
|
📄 acl2-infix_8.5dfsg-5_s390x.deb
|
442320 bytes
|
2023-01-16 14:30:31 |
|
📄 acl2-infix_8.6+dfsg-2_amd64.deb
|
886800 bytes
|
2025-04-27 19:40:58 |
|
📄 acl2-infix_8.6+dfsg-2_arm64.deb
|
853784 bytes
|
2025-04-27 19:56:10 |
|
📄 acl2-infix_8.6+dfsg-2_armel.deb
|
834140 bytes
|
2025-04-27 21:17:05 |
|
📄 acl2-infix_8.6+dfsg-2_armhf.deb
|
865808 bytes
|
2025-04-28 17:17:54 |
|
📄 acl2-infix_8.6+dfsg-2_i386.deb
|
872680 bytes
|
2025-04-27 19:25:16 |
|
📄 acl2-infix_8.6+dfsg-2_ppc64el.deb
|
906636 bytes
|
2025-04-27 19:30:23 |
|
📄 acl2-infix_8.6+dfsg-2_riscv64.deb
|
1921392 bytes
|
2025-05-02 01:29:20 |
|
📄 acl2-infix_8.6+dfsg-2_s390x.deb
|
884620 bytes
|
2025-04-28 03:56:37 |
|
📄 acl2-infix_8.7+dfsg-2_amd64.deb
|
894496 bytes
|
2026-06-17 21:23:20 |
|
📄 acl2-infix_8.7+dfsg-2_arm64.deb
|
864300 bytes
|
2026-06-17 20:31:54 |
|
📄 acl2-infix_8.7+dfsg-2_armhf.deb
|
893296 bytes
|
2026-06-18 01:08:48 |
|
📄 acl2-infix_8.7+dfsg-2_i386.deb
|
885196 bytes
|
2026-06-18 01:39:47 |
|
📄 acl2-infix_8.7+dfsg-2_loong64.deb
|
1112504 bytes
|
2026-06-18 10:18:17 |
|
📄 acl2-infix_8.7+dfsg-2_ppc64el.deb
|
928196 bytes
|
2026-06-17 21:57:33 |
|
📄 acl2-infix_8.7+dfsg-2_riscv64.deb
|
2243012 bytes
|
2026-06-27 06:29:38 |
|
📄 acl2-infix_8.7+dfsg-2_s390x.deb
|
899428 bytes
|
2026-06-18 02:00:16 |
|
📄 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.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-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-2_amd64.deb
|
21481292 bytes
|
2021-01-27 21:57:13 |
|
📄 acl2_8.3dfsg-2_arm64.deb
|
19892236 bytes
|
2021-01-28 15:43:01 |
|
📄 acl2_8.3dfsg-2_armhf.deb
|
18576036 bytes
|
2021-01-28 06:42:54 |
|
📄 acl2_8.3dfsg-2_i386.deb
|
19487092 bytes
|
2021-01-27 22:22:27 |
|
📄 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_amd64.deb
|
23408224 bytes
|
2023-01-16 20:15:10 |
|
📄 acl2_8.5dfsg-5_arm64.deb
|
21588828 bytes
|
2023-01-17 21:13:23 |
|
📄 acl2_8.5dfsg-5_armel.deb
|
19064584 bytes
|
2023-01-17 19:26:45 |
|
📄 acl2_8.5dfsg-5_armhf.deb
|
19585128 bytes
|
2023-01-17 11:32:25 |
|
📄 acl2_8.5dfsg-5_i386.deb
|
20377820 bytes
|
2023-01-16 15:16:26 |
|
📄 acl2_8.5dfsg-5_mips64el.deb
|
20602540 bytes
|
2023-01-23 12:58:24 |
|
📄 acl2_8.5dfsg-5_mipsel.deb
|
19821928 bytes
|
2023-01-22 00:30:47 |
|
📄 acl2_8.5dfsg-5_ppc64el.deb
|
23139572 bytes
|
2023-01-18 20:10:40 |
|
📄 acl2_8.5dfsg-5_s390x.deb
|
22001448 bytes
|
2023-01-16 14:30:31 |
|
📄 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-2_amd64.deb
|
36900528 bytes
|
2025-04-27 19:40:58 |
|
📄 acl2_8.6+dfsg-2_arm64.deb
|
36610984 bytes
|
2025-04-27 19:56:10 |
|
📄 acl2_8.6+dfsg-2_armel.deb
|
37921692 bytes
|
2025-04-27 21:17:05 |
|
📄 acl2_8.6+dfsg-2_armhf.deb
|
38343840 bytes
|
2025-04-28 17:17:54 |
|
📄 acl2_8.6+dfsg-2_i386.deb
|
40681708 bytes
|
2025-04-27 19:25:16 |
|
📄 acl2_8.6+dfsg-2_ppc64el.deb
|
37191308 bytes
|
2025-04-27 19:30:23 |
|
📄 acl2_8.6+dfsg-2_riscv64.deb
|
37156592 bytes
|
2025-05-02 01:29:21 |
|
📄 acl2_8.6+dfsg-2_s390x.deb
|
39851220 bytes
|
2025-04-28 03:56:37 |
|
📄 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_amd64.deb
|
37341832 bytes
|
2026-06-17 21:23:20 |
|
📄 acl2_8.7+dfsg-2_arm64.deb
|
37918564 bytes
|
2026-06-17 20:31:54 |
|
📄 acl2_8.7+dfsg-2_armhf.deb
|
39944960 bytes
|
2026-06-18 01:08:48 |
|
📄 acl2_8.7+dfsg-2_i386.deb
|
39801176 bytes
|
2026-06-18 01:39:47 |
|
📄 acl2_8.7+dfsg-2_loong64.deb
|
39252528 bytes
|
2026-06-18 10:18:17 |
|
📄 acl2_8.7+dfsg-2_ppc64el.deb
|
38535396 bytes
|
2026-06-17 21:57:33 |
|
📄 acl2_8.7+dfsg-2_riscv64.deb
|
38999320 bytes
|
2026-06-27 06:29:38 |
|
📄 acl2_8.7+dfsg-2_s390x.deb
|
48453060 bytes
|
2026-06-18 02:00:17 |
|
📄 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.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 |