|
📁 ../
|
- |
- |
|
📄 acl2-books-certs_6.3-5_all.deb
|
11641112 bytes
|
2013-10-24 16:36:23 |
|
📄 acl2-books-certs_7.1-1_all.deb
|
13191160 bytes
|
2015-06-27 13:48:34 |
|
📄 acl2-books-certs_8.0dfsg-1_all.deb
|
73403184 bytes
|
2018-01-14 03:08:17 |
|
📄 acl2-books-certs_8.2dfsg-3build1_all.deb
|
68979892 bytes
|
2020-03-23 13:24:07 |
|
📄 acl2-books-certs_8.4dfsg-2_all.deb
|
231831222 bytes
|
2021-12-19 01:10:18 |
|
📄 acl2-books-certs_8.5dfsg-5build3_all.deb
|
226234436 bytes
|
2024-04-02 08:03:00 |
|
📄 acl2-books-certs_8.5dfsg-6_all.deb
|
82468930 bytes
|
2024-07-29 04:20:24 |
|
📄 acl2-books-certs_8.6+dfsg-3_all.deb
|
280663208 bytes
|
2025-05-15 07:30:30 |
|
📄 acl2-books-source_6.3-5_all.deb
|
9570222 bytes
|
2013-10-24 16:36:24 |
|
📄 acl2-books-source_7.1-1_all.deb
|
10333152 bytes
|
2015-06-27 13:48:39 |
|
📄 acl2-books-source_8.0dfsg-1_all.deb
|
12466104 bytes
|
2018-01-14 03:08:16 |
|
📄 acl2-books-source_8.2dfsg-3build1_all.deb
|
14290112 bytes
|
2020-03-23 13:24:10 |
|
📄 acl2-books-source_8.4dfsg-2_all.deb
|
22136204 bytes
|
2021-12-19 01:10:25 |
|
📄 acl2-books-source_8.5dfsg-5build3_all.deb
|
23801362 bytes
|
2024-04-02 08:02:58 |
|
📄 acl2-books-source_8.5dfsg-6_all.deb
|
23816010 bytes
|
2024-07-29 04:20:22 |
|
📄 acl2-books-source_8.6+dfsg-3_all.deb
|
27622456 bytes
|
2025-05-15 07:30:27 |
|
📄 acl2-books_6.3-5_armhf.deb
|
113350618 bytes
|
2013-10-23 04:44:04 |
|
📄 acl2-books_6.3-5_powerpc.deb
|
39502804 bytes
|
2013-10-22 18:49:20 |
|
📄 acl2-books_7.1-1_arm64.deb
|
19583214 bytes
|
2015-06-02 14:43:30 |
|
📄 acl2-books_7.1-1_armhf.deb
|
62421090 bytes
|
2015-06-02 12:58:41 |
|
📄 acl2-books_7.1-1_powerpc.deb
|
16154534 bytes
|
2015-06-02 05:48:57 |
|
📄 acl2-books_8.0dfsg-1_arm64.deb
|
141266400 bytes
|
2018-01-22 03:23:15 |
|
📄 acl2-books_8.0dfsg-1_armhf.deb
|
121281400 bytes
|
2018-01-21 23:13:28 |
|
📄 acl2-books_8.0dfsg-1_ppc64el.deb
|
141916160 bytes
|
2018-01-31 14:58:01 |
|
📄 acl2-books_8.0dfsg-1_s390x.deb
|
127451660 bytes
|
2018-01-23 21:18:57 |
|
📄 acl2-books_8.2dfsg-3build1_arm64.deb
|
169297064 bytes
|
2020-03-24 08:48:21 |
|
📄 acl2-books_8.2dfsg-3build1_armhf.deb
|
158561012 bytes
|
2020-03-24 08:18:26 |
|
📄 acl2-books_8.2dfsg-3build1_ppc64el.deb
|
177813260 bytes
|
2020-03-23 15:18:31 |
|
📄 acl2-books_8.2dfsg-3build1_s390x.deb
|
155654272 bytes
|
2020-03-23 12:14:12 |
|
📄 acl2-books_8.4dfsg-2_arm64.deb
|
351062826 bytes
|
2021-12-26 07:08:55 |
|
📄 acl2-books_8.4dfsg-2_armhf.deb
|
336148864 bytes
|
2021-12-26 05:49:04 |
|
📄 acl2-books_8.4dfsg-2_ppc64el.deb
|
369454152 bytes
|
2021-12-25 19:23:50 |
|
📄 acl2-books_8.4dfsg-2_s390x.deb
|
341322284 bytes
|
2021-12-18 17:36:30 |
|
📄 acl2-books_8.5dfsg-5build3_arm64.deb
|
353503934 bytes
|
2024-04-11 15:38:45 |
|
📄 acl2-books_8.5dfsg-5build3_armhf.deb
|
333055736 bytes
|
2024-04-03 15:40:13 |
|
📄 acl2-books_8.5dfsg-5build3_ppc64el.deb
|
367350708 bytes
|
2024-04-02 13:19:17 |
|
📄 acl2-books_8.5dfsg-5build3_riscv64.deb
|
1111438758 bytes
|
2024-04-07 23:42:40 |
|
📄 acl2-books_8.5dfsg-5build3_s390x.deb
|
346753896 bytes
|
2024-04-02 05:59:21 |
|
📄 acl2-books_8.5dfsg-6_arm64.deb
|
177629860 bytes
|
2024-07-29 07:11:43 |
|
📄 acl2-books_8.5dfsg-6_armhf.deb
|
169704228 bytes
|
2024-07-29 08:18:34 |
|
📄 acl2-books_8.5dfsg-6_ppc64el.deb
|
191990812 bytes
|
2024-07-29 06:11:44 |
|
📄 acl2-books_8.5dfsg-6_riscv64.deb
|
532059384 bytes
|
2024-07-31 19:50:28 |
|
📄 acl2-books_8.5dfsg-6_s390x.deb
|
177149832 bytes
|
2024-07-29 04:20:31 |
|
📄 acl2-books_8.6+dfsg-3_arm64.deb
|
493160972 bytes
|
2025-05-15 08:55:05 |
|
📄 acl2-books_8.6+dfsg-3_armhf.deb
|
465911982 bytes
|
2025-05-19 19:24:08 |
|
📄 acl2-books_8.6+dfsg-3_ppc64el.deb
|
522793202 bytes
|
2025-05-15 10:20:26 |
|
📄 acl2-books_8.6+dfsg-3_riscv64.deb
|
1327648372 bytes
|
2025-05-19 07:22:30 |
|
📄 acl2-books_8.6+dfsg-3_s390x.deb
|
500188214 bytes
|
2025-05-15 03:38:10 |
|
📄 acl2-doc_6.3-5_all.deb
|
12728778 bytes
|
2013-10-24 16:36:25 |
|
📄 acl2-doc_7.1-1_all.deb
|
361780 bytes
|
2015-06-27 13:48:36 |
|
📄 acl2-doc_8.0dfsg-1_all.deb
|
394360 bytes
|
2018-01-14 03:08:13 |
|
📄 acl2-doc_8.2dfsg-3build1_all.deb
|
428100 bytes
|
2020-03-23 13:24:10 |
|
📄 acl2-doc_8.4dfsg-2_all.deb
|
451656 bytes
|
2021-12-19 01:09:59 |
|
📄 acl2-doc_8.5dfsg-5build3_all.deb
|
485308 bytes
|
2024-04-02 08:02:57 |
|
📄 acl2-doc_8.5dfsg-6_all.deb
|
485170 bytes
|
2024-07-29 04:20:21 |
|
📄 acl2-doc_8.6+dfsg-3_all.deb
|
528426 bytes
|
2025-05-15 07:30:27 |
|
📄 acl2-emacs_6.3-5_all.deb
|
56302 bytes
|
2013-10-24 16:36:24 |
|
📄 acl2-emacs_7.1-1_all.deb
|
56524 bytes
|
2015-06-27 13:48:38 |
|
📄 acl2-emacs_8.0dfsg-1_all.deb
|
60340 bytes
|
2018-01-14 03:08:17 |
|
📄 acl2-emacs_8.2dfsg-3build1_all.deb
|
60520 bytes
|
2020-03-23 13:24:10 |
|
📄 acl2-infix-source_6.3-5_all.deb
|
88034 bytes
|
2013-10-24 16:36:24 |
|
📄 acl2-infix-source_7.1-1_all.deb
|
72020 bytes
|
2015-06-27 13:48:40 |
|
📄 acl2-infix-source_8.0dfsg-1_all.deb
|
71888 bytes
|
2018-01-14 03:08:12 |
|
📄 acl2-infix-source_8.2dfsg-3build1_all.deb
|
71920 bytes
|
2020-03-23 13:24:07 |
|
📄 acl2-infix-source_8.4dfsg-2_all.deb
|
73680 bytes
|
2021-12-19 01:10:26 |
|
📄 acl2-infix-source_8.5dfsg-5build3_all.deb
|
74148 bytes
|
2024-04-02 08:02:57 |
|
📄 acl2-infix-source_8.5dfsg-6_all.deb
|
74020 bytes
|
2024-07-29 04:20:21 |
|
📄 acl2-infix-source_8.6+dfsg-3_all.deb
|
74516 bytes
|
2025-05-15 07:30:27 |
|
📄 acl2-infix_6.3-5_armhf.deb
|
587300 bytes
|
2013-10-23 04:44:02 |
|
📄 acl2-infix_6.3-5_powerpc.deb
|
217146 bytes
|
2013-10-22 18:49:19 |
|
📄 acl2-infix_7.1-1_arm64.deb
|
151024 bytes
|
2015-06-02 14:43:28 |
|
📄 acl2-infix_7.1-1_armhf.deb
|
433376 bytes
|
2015-06-02 12:58:40 |
|
📄 acl2-infix_7.1-1_powerpc.deb
|
135934 bytes
|
2015-06-02 05:48:57 |
|
📄 acl2-infix_8.0dfsg-1_arm64.deb
|
430600 bytes
|
2018-01-22 03:23:18 |
|
📄 acl2-infix_8.0dfsg-1_armhf.deb
|
409780 bytes
|
2018-01-21 23:13:26 |
|
📄 acl2-infix_8.0dfsg-1_ppc64el.deb
|
475384 bytes
|
2018-01-31 14:57:59 |
|
📄 acl2-infix_8.0dfsg-1_s390x.deb
|
387040 bytes
|
2018-01-23 21:18:55 |
|
📄 acl2-infix_8.2dfsg-3build1_arm64.deb
|
471912 bytes
|
2020-03-24 08:48:22 |
|
📄 acl2-infix_8.2dfsg-3build1_armhf.deb
|
457852 bytes
|
2020-03-24 08:18:26 |
|
📄 acl2-infix_8.2dfsg-3build1_ppc64el.deb
|
497296 bytes
|
2020-03-23 15:18:31 |
|
📄 acl2-infix_8.2dfsg-3build1_s390x.deb
|
444988 bytes
|
2020-03-23 12:14:09 |
|
📄 acl2-infix_8.4dfsg-2_arm64.deb
|
572608 bytes
|
2021-12-26 07:08:55 |
|
📄 acl2-infix_8.4dfsg-2_armhf.deb
|
564612 bytes
|
2021-12-26 05:49:04 |
|
📄 acl2-infix_8.4dfsg-2_ppc64el.deb
|
618604 bytes
|
2021-12-25 19:23:46 |
|
📄 acl2-infix_8.4dfsg-2_s390x.deb
|
567224 bytes
|
2021-12-18 17:36:31 |
|
📄 acl2-infix_8.5dfsg-5build3_arm64.deb
|
554498 bytes
|
2024-04-11 15:38:41 |
|
📄 acl2-infix_8.5dfsg-5build3_armhf.deb
|
554580 bytes
|
2024-04-03 15:40:09 |
|
📄 acl2-infix_8.5dfsg-5build3_ppc64el.deb
|
608670 bytes
|
2024-04-02 13:19:13 |
|
📄 acl2-infix_8.5dfsg-5build3_riscv64.deb
|
1525628 bytes
|
2024-04-07 23:42:31 |
|
📄 acl2-infix_8.5dfsg-5build3_s390x.deb
|
553874 bytes
|
2024-04-02 05:59:19 |
|
📄 acl2-infix_8.5dfsg-6_arm64.deb
|
546228 bytes
|
2024-07-29 07:11:40 |
|
📄 acl2-infix_8.5dfsg-6_armhf.deb
|
554572 bytes
|
2024-07-29 08:18:30 |
|
📄 acl2-infix_8.5dfsg-6_ppc64el.deb
|
604816 bytes
|
2024-07-29 06:11:40 |
|
📄 acl2-infix_8.5dfsg-6_riscv64.deb
|
1456078 bytes
|
2024-07-31 19:50:19 |
|
📄 acl2-infix_8.5dfsg-6_s390x.deb
|
544508 bytes
|
2024-07-29 04:20:28 |
|
📄 acl2-infix_8.6+dfsg-3_arm64.deb
|
992038 bytes
|
2025-05-15 08:55:00 |
|
📄 acl2-infix_8.6+dfsg-3_armhf.deb
|
987746 bytes
|
2025-05-19 19:24:05 |
|
📄 acl2-infix_8.6+dfsg-3_ppc64el.deb
|
1066240 bytes
|
2025-05-15 10:20:22 |
|
📄 acl2-infix_8.6+dfsg-3_riscv64.deb
|
2628498 bytes
|
2025-05-19 07:22:14 |
|
📄 acl2-infix_8.6+dfsg-3_s390x.deb
|
1017580 bytes
|
2025-05-15 03:38:07 |
|
📄 acl2-source_6.3-5_all.deb
|
3795138 bytes
|
2013-10-24 16:36:22 |
|
📄 acl2-source_7.1-1_all.deb
|
2838230 bytes
|
2015-06-27 13:48:41 |
|
📄 acl2-source_8.0dfsg-1_all.deb
|
3074488 bytes
|
2018-01-14 03:08:13 |
|
📄 acl2-source_8.2dfsg-3build1_all.deb
|
3268812 bytes
|
2020-03-23 13:24:10 |
|
📄 acl2-source_8.4dfsg-2_all.deb
|
3536828 bytes
|
2021-12-19 01:10:00 |
|
📄 acl2-source_8.5dfsg-5build3_all.deb
|
3652452 bytes
|
2024-04-02 08:02:57 |
|
📄 acl2-source_8.5dfsg-6_all.deb
|
3645750 bytes
|
2024-07-29 04:20:21 |
|
📄 acl2-source_8.6+dfsg-3_all.deb
|
4061914 bytes
|
2025-05-15 07:30:27 |
|
📄 acl2_6.3-5.debian.tar.gz
|
161480 bytes
|
2013-10-21 13:09:58 |
|
📄 acl2_6.3-5.dsc
|
1749 bytes
|
2013-10-21 13:09:59 |
|
📄 acl2_6.3-5_armhf.deb
|
24228232 bytes
|
2013-10-23 04:44:05 |
|
📄 acl2_6.3-5_powerpc.deb
|
25890470 bytes
|
2013-10-22 18:49:21 |
|
📄 acl2_6.3.orig-books.tar.gz
|
13598991 bytes
|
2013-10-21 13:09:59 |
|
📄 acl2_6.3.orig.tar.gz
|
7068895 bytes
|
2013-10-21 13:09:59 |
|
📄 acl2_7.1-1.debian.tar.xz
|
128900 bytes
|
2015-06-01 23:24:15 |
|
📄 acl2_7.1-1.dsc
|
2203 bytes
|
2015-06-01 23:24:18 |
|
📄 acl2_7.1-1_arm64.deb
|
15646510 bytes
|
2015-06-02 14:43:28 |
|
📄 acl2_7.1-1_armhf.deb
|
16136508 bytes
|
2015-06-02 12:58:41 |
|
📄 acl2_7.1-1_powerpc.deb
|
14098382 bytes
|
2015-06-02 05:48:58 |
|
📄 acl2_7.1.orig.tar.gz
|
63342334 bytes
|
2015-06-01 23:24:18 |
|
📄 acl2_8.0dfsg-1.debian.tar.xz
|
204760 bytes
|
2018-01-13 23:08:21 |
|
📄 acl2_8.0dfsg-1.dsc
|
2245 bytes
|
2018-01-13 23:08:20 |
|
📄 acl2_8.0dfsg-1_arm64.deb
|
17735608 bytes
|
2018-01-22 03:23:17 |
|
📄 acl2_8.0dfsg-1_armhf.deb
|
16180312 bytes
|
2018-01-21 23:13:28 |
|
📄 acl2_8.0dfsg-1_ppc64el.deb
|
19553148 bytes
|
2018-01-31 14:58:02 |
|
📄 acl2_8.0dfsg-1_s390x.deb
|
18695628 bytes
|
2018-01-23 21:18:55 |
|
📄 acl2_8.0dfsg.orig.tar.gz
|
77635571 bytes
|
2018-01-13 23:08:21 |
|
📄 acl2_8.2dfsg-3build1.debian.tar.xz
|
206024 bytes
|
2020-03-23 07:00:04 |
|
📄 acl2_8.2dfsg-3build1.dsc
|
2296 bytes
|
2020-03-23 07:00:05 |
|
📄 acl2_8.2dfsg-3build1_arm64.deb
|
20342888 bytes
|
2020-03-24 08:48:22 |
|
📄 acl2_8.2dfsg-3build1_armhf.deb
|
18614872 bytes
|
2020-03-24 08:18:26 |
|
📄 acl2_8.2dfsg-3build1_ppc64el.deb
|
21898060 bytes
|
2020-03-23 15:18:31 |
|
📄 acl2_8.2dfsg-3build1_s390x.deb
|
21104780 bytes
|
2020-03-23 12:14:09 |
|
📄 acl2_8.2dfsg.orig.tar.gz
|
80652725 bytes
|
2019-12-19 23:13:26 |
|
📄 acl2_8.4dfsg-2.debian.tar.xz
|
311628 bytes
|
2021-11-01 23:24:22 |
|
📄 acl2_8.4dfsg-2.dsc
|
2281 bytes
|
2021-11-01 23:24:20 |
|
📄 acl2_8.4dfsg-2_arm64.deb
|
25090910 bytes
|
2021-12-26 07:08:56 |
|
📄 acl2_8.4dfsg-2_armhf.deb
|
22325788 bytes
|
2021-12-26 05:49:01 |
|
📄 acl2_8.4dfsg-2_ppc64el.deb
|
26386578 bytes
|
2021-12-25 19:23:50 |
|
📄 acl2_8.4dfsg-2_s390x.deb
|
25975290 bytes
|
2021-12-18 17:36:31 |
|
📄 acl2_8.4dfsg.orig.tar.gz
|
202991839 bytes
|
2021-10-28 23:18:50 |
|
📄 acl2_8.5dfsg-5build3.debian.tar.xz
|
313036 bytes
|
2024-04-01 05:43:39 |
|
📄 acl2_8.5dfsg-5build3.dsc
|
2371 bytes
|
2024-04-01 05:43:39 |
|
📄 acl2_8.5dfsg-5build3_arm64.deb
|
25345322 bytes
|
2024-04-11 15:38:45 |
|
📄 acl2_8.5dfsg-5build3_armhf.deb
|
22419416 bytes
|
2024-04-03 15:40:13 |
|
📄 acl2_8.5dfsg-5build3_ppc64el.deb
|
27282214 bytes
|
2024-04-02 13:19:17 |
|
📄 acl2_8.5dfsg-5build3_riscv64.deb
|
26318146 bytes
|
2024-04-07 23:42:41 |
|
📄 acl2_8.5dfsg-5build3_s390x.deb
|
28503504 bytes
|
2024-04-02 05:59:22 |
|
📄 acl2_8.5dfsg-6.debian.tar.xz
|
312848 bytes
|
2024-07-28 23:59:18 |
|
📄 acl2_8.5dfsg-6.dsc
|
2268 bytes
|
2024-07-28 23:59:17 |
|
📄 acl2_8.5dfsg-6_arm64.deb
|
25459098 bytes
|
2024-07-29 07:11:43 |
|
📄 acl2_8.5dfsg-6_armhf.deb
|
22133522 bytes
|
2024-07-29 08:18:35 |
|
📄 acl2_8.5dfsg-6_ppc64el.deb
|
26946728 bytes
|
2024-07-29 06:11:45 |
|
📄 acl2_8.5dfsg-6_riscv64.deb
|
25474854 bytes
|
2024-07-31 19:50:29 |
|
📄 acl2_8.5dfsg-6_s390x.deb
|
28049708 bytes
|
2024-07-29 04:20:32 |
|
📄 acl2_8.5dfsg.orig.tar.gz
|
223546594 bytes
|
2022-07-27 23:33:59 |
|
📄 acl2_8.6+dfsg-3.debian.tar.xz
|
711200 bytes
|
2025-05-15 00:36:00 |
|
📄 acl2_8.6+dfsg-3.dsc
|
2288 bytes
|
2025-05-15 00:35:59 |
|
📄 acl2_8.6+dfsg-3_arm64.deb
|
47358036 bytes
|
2025-05-15 08:55:05 |
|
📄 acl2_8.6+dfsg-3_armhf.deb
|
56426016 bytes
|
2025-05-19 19:24:09 |
|
📄 acl2_8.6+dfsg-3_ppc64el.deb
|
49151256 bytes
|
2025-05-15 10:20:27 |
|
📄 acl2_8.6+dfsg-3_riscv64.deb
|
49449506 bytes
|
2025-05-19 07:22:31 |
|
📄 acl2_8.6+dfsg-3_s390x.deb
|
44207806 bytes
|
2025-05-15 03:38:10 |
|
📄 acl2_8.6+dfsg.orig.tar.gz
|
240329345 bytes
|
2025-05-01 16:25:19 |
|
📄 elpa-acl2_8.4dfsg-2_all.deb
|
70790 bytes
|
2021-12-19 01:09:07 |
|
📄 elpa-acl2_8.5dfsg-5build3_all.deb
|
72432 bytes
|
2024-04-02 08:02:57 |
|
📄 elpa-acl2_8.5dfsg-6_all.deb
|
72514 bytes
|
2024-07-29 04:20:20 |
|
📄 elpa-acl2_8.6+dfsg-3_all.deb
|
80512 bytes
|
2025-05-15 07:30:26 |