|
📁 ../
|
- |
- |
|
📄 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_amd64.deb
|
42067578 bytes
|
2013-10-24 16:36:25 |
|
📄 acl2-books_6.3-5_i386.deb
|
37550284 bytes
|
2013-10-24 16:36:44 |
|
📄 acl2-books_7.1-1_amd64.deb
|
19608788 bytes
|
2015-06-27 13:48:35 |
|
📄 acl2-books_7.1-1_i386.deb
|
18602828 bytes
|
2015-06-02 02:43:16 |
|
📄 acl2-books_8.0dfsg-1_amd64.deb
|
138083420 bytes
|
2018-01-14 03:08:15 |
|
📄 acl2-books_8.0dfsg-1_i386.deb
|
119603224 bytes
|
2018-01-14 04:49:27 |
|
📄 acl2-books_8.2dfsg-3build1_amd64.deb
|
171294740 bytes
|
2020-03-23 13:24:09 |
|
📄 acl2-books_8.4dfsg-2_amd64.deb
|
353947352 bytes
|
2021-12-19 01:09:59 |
|
📄 acl2-books_8.5dfsg-5build3_amd64.deb
|
346555008 bytes
|
2024-04-02 08:03:05 |
|
📄 acl2-books_8.5dfsg-6_amd64.deb
|
178788782 bytes
|
2024-07-29 04:20:26 |
|
📄 acl2-books_8.6+dfsg-3_amd64.deb
|
491762868 bytes
|
2025-05-15 07:30:37 |
|
📄 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_amd64.deb
|
205126 bytes
|
2013-10-24 16:36:25 |
|
📄 acl2-infix_6.3-5_i386.deb
|
193572 bytes
|
2013-10-24 16:36:43 |
|
📄 acl2-infix_7.1-1_amd64.deb
|
143558 bytes
|
2015-06-27 13:48:37 |
|
📄 acl2-infix_7.1-1_i386.deb
|
145560 bytes
|
2015-06-02 02:43:17 |
|
📄 acl2-infix_8.0dfsg-1_amd64.deb
|
424152 bytes
|
2018-01-14 03:08:13 |
|
📄 acl2-infix_8.0dfsg-1_i386.deb
|
390264 bytes
|
2018-01-14 04:49:27 |
|
📄 acl2-infix_8.2dfsg-3build1_amd64.deb
|
481148 bytes
|
2020-03-23 13:24:10 |
|
📄 acl2-infix_8.4dfsg-2_amd64.deb
|
564006 bytes
|
2021-12-19 01:09:06 |
|
📄 acl2-infix_8.5dfsg-5build3_amd64.deb
|
551042 bytes
|
2024-04-02 08:02:57 |
|
📄 acl2-infix_8.5dfsg-6_amd64.deb
|
545828 bytes
|
2024-07-29 04:20:21 |
|
📄 acl2-infix_8.6+dfsg-3_amd64.deb
|
1014618 bytes
|
2025-05-15 07:30:27 |
|
📄 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_amd64.deb
|
27878170 bytes
|
2013-10-24 16:36:26 |
|
📄 acl2_6.3-5_i386.deb
|
24013356 bytes
|
2013-10-24 16:36:43 |
|
📄 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_amd64.deb
|
17277416 bytes
|
2015-06-27 13:48:40 |
|
📄 acl2_7.1-1_i386.deb
|
16463104 bytes
|
2015-06-02 02:43:17 |
|
📄 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_amd64.deb
|
19704384 bytes
|
2018-01-14 03:08:15 |
|
📄 acl2_8.0dfsg-1_i386.deb
|
16994892 bytes
|
2018-01-14 04:49:27 |
|
📄 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_amd64.deb
|
21932904 bytes
|
2020-03-23 13:24:11 |
|
📄 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_amd64.deb
|
26133150 bytes
|
2021-12-19 01:10:20 |
|
📄 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_amd64.deb
|
26854572 bytes
|
2024-04-02 08:03:05 |
|
📄 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_amd64.deb
|
26482042 bytes
|
2024-07-29 04:20:27 |
|
📄 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_amd64.deb
|
47521530 bytes
|
2025-05-15 07:30:37 |
|
📄 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 |