|
📁 ../
|
- |
- |
|
📄 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-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_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.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_armhf.deb
|
413798288 bytes
|
2025-04-28 17:17:54 |
|
📄 acl2-books_8.6+dfsg-2_riscv64.deb
|
981501120 bytes
|
2025-05-02 01:29:20 |
|
📄 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-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_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.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_armhf.deb
|
865808 bytes
|
2025-04-28 17:17:54 |
|
📄 acl2-infix_8.6+dfsg-2_riscv64.deb
|
1921392 bytes
|
2025-05-02 01:29:20 |
|
📄 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_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.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_armhf.deb
|
38343840 bytes
|
2025-04-28 17:17:54 |
|
📄 acl2_8.6+dfsg-2_riscv64.deb
|
37156592 bytes
|
2025-05-02 01:29:21 |
|
📄 acl2_8.6+dfsg.orig.tar.gz
|
240329345 bytes
|
2025-04-26 21:21:59 |
|
📄 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 |