| .. |
| acl2-books-certs_6.3-5_all.deb |
11641112 |
2025-04-23T17:06:11.572Z |
| acl2-books-certs_7.1-1_all.deb |
13191160 |
2025-04-23T17:06:13.513Z |
| acl2-books-certs_8.0dfsg-1_all.deb |
73403184 |
2025-04-23T17:06:26.528Z |
| acl2-books-certs_8.2dfsg-3build1_all.deb |
68979892 |
2025-04-23T17:06:28.968Z |
| acl2-books-certs_8.4dfsg-2_all.deb |
231831222 |
2025-04-23T17:07:13.084Z |
| acl2-books-certs_8.5dfsg-5build3_all.deb |
226234436 |
2025-04-23T17:07:16.214Z |
| acl2-books-certs_8.5dfsg-6_all.deb |
82468930 |
2025-04-23T17:06:40.434Z |
| acl2-books-certs_8.6+dfsg-3_all.deb |
280663208 |
2025-05-20T23:17:20.511Z |
| acl2-books-certs_8.6+dfsg-3build1_all.deb |
280009442 |
2026-02-04T08:33:41.585Z |
| acl2-books-source_6.3-5_all.deb |
9570222 |
2025-04-23T17:06:26.300Z |
| acl2-books-source_7.1-1_all.deb |
10333152 |
2025-04-23T17:06:28.805Z |
| acl2-books-source_8.0dfsg-1_all.deb |
12466104 |
2025-04-23T17:06:30.304Z |
| acl2-books-source_8.2dfsg-3build1_all.deb |
14290112 |
2025-04-23T17:06:31.809Z |
| acl2-books-source_8.4dfsg-2_all.deb |
22136204 |
2025-04-23T17:06:36.691Z |
| acl2-books-source_8.5dfsg-5build3_all.deb |
23801362 |
2025-04-23T17:06:39.522Z |
| acl2-books-source_8.5dfsg-6_all.deb |
23816010 |
2025-04-23T17:06:42.903Z |
| acl2-books-source_8.6+dfsg-3_all.deb |
27622456 |
2025-05-20T23:17:03.382Z |
| acl2-books-source_8.6+dfsg-3build1_all.deb |
27776852 |
2026-02-04T08:33:24.929Z |
| acl2-books_6.3-5_amd64.deb |
42067578 |
2025-04-23T17:06:50.462Z |
| acl2-books_6.3-5_i386.deb |
37550284 |
2025-04-23T17:06:52.138Z |
| acl2-books_7.1-1_amd64.deb |
19608788 |
2025-04-23T17:06:56.617Z |
| acl2-books_7.1-1_i386.deb |
18602828 |
2025-04-23T17:06:57.534Z |
| acl2-books_8.0dfsg-1_amd64.deb |
138083420 |
2025-04-23T17:07:23.364Z |
| acl2-books_8.0dfsg-1_i386.deb |
119603224 |
2025-04-23T17:07:24.478Z |
| acl2-books_8.2dfsg-3build1_amd64.deb |
171294740 |
2025-04-23T17:07:43.993Z |
| acl2-books_8.4dfsg-2_amd64.deb |
353947352 |
2025-04-23T17:07:58.532Z |
| acl2-books_8.5dfsg-5build3_amd64.deb |
346555008 |
2025-04-23T17:08:00.203Z |
| acl2-books_8.5dfsg-6_amd64.deb |
178788782 |
2025-04-23T17:07:41.509Z |
| acl2-books_8.6+dfsg-3_amd64.deb |
491762868 |
2025-05-20T23:17:26.837Z |
| acl2-books_8.6+dfsg-3_arm64.deb |
493160972 |
2026-04-02T05:27:14.195Z |
| acl2-books_8.6+dfsg-3build1_amd64.deb |
489589524 |
2026-02-04T08:33:40.441Z |
| acl2-books_8.6+dfsg-3build1_amd64v3.deb |
489853856 |
2026-02-04T14:30:46.438Z |
| acl2-books_8.6+dfsg-3build1_arm64.deb |
487964786 |
2026-04-02T05:27:22.697Z |
| acl2-doc_6.3-5_all.deb |
12728778 |
2025-04-23T17:07:21.208Z |
| acl2-doc_7.1-1_all.deb |
361780 |
2025-04-23T17:07:20.994Z |
| acl2-doc_8.0dfsg-1_all.deb |
394360 |
2025-04-23T17:07:22.408Z |
| acl2-doc_8.2dfsg-3build1_all.deb |
428100 |
2025-04-23T17:07:24.385Z |
| acl2-doc_8.4dfsg-2_all.deb |
451656 |
2025-04-23T17:07:25.475Z |
| acl2-doc_8.5dfsg-5build3_all.deb |
485308 |
2025-04-23T17:07:26.367Z |
| acl2-doc_8.5dfsg-6_all.deb |
485170 |
2025-04-23T17:07:27.486Z |
| acl2-doc_8.6+dfsg-3_all.deb |
528426 |
2025-05-20T23:17:03.267Z |
| acl2-doc_8.6+dfsg-3build1_all.deb |
528512 |
2026-02-04T08:33:23.154Z |
| acl2-emacs_6.3-5_all.deb |
56302 |
2025-04-23T17:07:29.362Z |
| acl2-emacs_7.1-1_all.deb |
56524 |
2025-04-23T17:07:31.408Z |
| acl2-emacs_8.0dfsg-1_all.deb |
60340 |
2025-04-23T17:07:33.186Z |
| acl2-emacs_8.2dfsg-3build1_all.deb |
60520 |
2025-04-23T17:07:34.974Z |
| acl2-infix-source_6.3-5_all.deb |
88034 |
2026-04-16T20:59:32.936Z |
| acl2-infix-source_7.1-1_all.deb |
72020 |
2026-04-16T20:59:33.161Z |
| acl2-infix-source_8.0dfsg-1_all.deb |
71888 |
2025-04-23T17:07:41.573Z |
| acl2-infix-source_8.2dfsg-3build1_all.deb |
71920 |
2025-04-23T17:07:42.652Z |
| acl2-infix-source_8.4dfsg-2_all.deb |
73680 |
2025-04-23T17:07:44.130Z |
| acl2-infix-source_8.5dfsg-5build3_all.deb |
74148 |
2025-04-23T17:07:45.477Z |
| acl2-infix-source_8.5dfsg-6_all.deb |
74020 |
2025-04-23T17:07:47.512Z |
| acl2-infix-source_8.6+dfsg-3_all.deb |
74516 |
2025-05-20T23:17:03.436Z |
| acl2-infix-source_8.6+dfsg-3build1_all.deb |
74626 |
2026-02-04T08:33:22.912Z |
| acl2-infix_6.3-5_amd64.deb |
205126 |
2025-04-23T17:07:49.267Z |
| acl2-infix_6.3-5_i386.deb |
193572 |
2025-04-23T17:07:50.735Z |
| acl2-infix_7.1-1_amd64.deb |
143558 |
2026-04-16T20:59:33.107Z |
| acl2-infix_7.1-1_i386.deb |
145560 |
2025-04-23T17:07:55.090Z |
| acl2-infix_8.0dfsg-1_amd64.deb |
424152 |
2025-04-23T17:07:56.758Z |
| acl2-infix_8.0dfsg-1_i386.deb |
390264 |
2025-04-23T17:07:57.915Z |
| acl2-infix_8.2dfsg-3build1_amd64.deb |
481148 |
2025-04-23T17:07:58.994Z |
| acl2-infix_8.4dfsg-2_amd64.deb |
564006 |
2025-04-23T17:08:01.591Z |
| acl2-infix_8.5dfsg-5build3_amd64.deb |
551042 |
2025-04-23T17:08:00.937Z |
| acl2-infix_8.5dfsg-6_amd64.deb |
545828 |
2025-04-23T17:08:03.639Z |
| acl2-infix_8.6+dfsg-3_amd64.deb |
1014618 |
2026-04-16T20:59:33.550Z |
| acl2-infix_8.6+dfsg-3_arm64.deb |
992038 |
2026-04-02T05:26:57.677Z |
| acl2-infix_8.6+dfsg-3build1_amd64.deb |
999778 |
2026-02-04T08:33:23.836Z |
| acl2-infix_8.6+dfsg-3build1_amd64v3.deb |
1003876 |
2026-04-16T20:59:33.522Z |
| acl2-infix_8.6+dfsg-3build1_arm64.deb |
982266 |
2026-04-02T05:26:56.954Z |
| acl2-source_6.3-5_all.deb |
3795138 |
2025-04-23T17:08:05.234Z |
| acl2-source_7.1-1_all.deb |
2838230 |
2025-04-23T17:08:03.863Z |
| acl2-source_8.0dfsg-1_all.deb |
3074488 |
2025-04-23T17:08:05.531Z |
| acl2-source_8.2dfsg-3build1_all.deb |
3268812 |
2025-04-23T17:08:05.621Z |
| acl2-source_8.4dfsg-2_all.deb |
3536828 |
2025-04-23T17:08:06.110Z |
| acl2-source_8.5dfsg-5build3_all.deb |
3652452 |
2025-04-23T17:08:09.175Z |
| acl2-source_8.5dfsg-6_all.deb |
3645750 |
2025-04-23T17:08:09.597Z |
| acl2-source_8.6+dfsg-3_all.deb |
4061914 |
2025-05-20T23:17:04.599Z |
| acl2-source_8.6+dfsg-3build1_all.deb |
4062104 |
2026-02-04T08:33:24.673Z |
| acl2_6.3-5.debian.tar.gz |
161480 |
2025-04-23T17:08:09.012Z |
| acl2_6.3-5.dsc |
1749 |
2025-04-23T17:08:09.332Z |
| acl2_6.3-5_amd64.deb |
27878170 |
2025-04-23T17:08:14.628Z |
| acl2_6.3-5_i386.deb |
24013356 |
2025-04-23T17:08:16.947Z |
| acl2_6.3.orig-books.tar.gz |
13598991 |
2026-04-16T20:59:34.219Z |
| acl2_6.3.orig.tar.gz |
7068895 |
2025-04-23T17:08:14.255Z |
| acl2_7.1-1.debian.tar.xz |
128900 |
2026-04-16T20:59:33.367Z |
| acl2_7.1-1.dsc |
2203 |
2025-04-23T17:08:14.414Z |
| acl2_7.1-1_amd64.deb |
17277416 |
2025-04-23T17:08:19.027Z |
| acl2_7.1-1_i386.deb |
16463104 |
2026-04-16T20:59:34.333Z |
| acl2_7.1.orig.tar.gz |
63342334 |
2025-04-23T17:08:26.019Z |
| acl2_8.0dfsg-1.debian.tar.xz |
204760 |
2025-04-23T17:08:19.008Z |
| acl2_8.0dfsg-1.dsc |
2245 |
2025-04-23T17:08:19.939Z |
| acl2_8.0dfsg-1_amd64.deb |
19704384 |
2025-04-23T17:08:24.590Z |
| acl2_8.0dfsg-1_i386.deb |
16994892 |
2025-04-23T17:08:26.411Z |
| acl2_8.0dfsg.orig.tar.gz |
77635571 |
2025-04-23T17:08:32.783Z |
| acl2_8.2dfsg-3build1.debian.tar.xz |
206024 |
2025-04-23T17:08:24.558Z |
| acl2_8.2dfsg-3build1.dsc |
2296 |
2025-04-23T17:08:26.171Z |
| acl2_8.2dfsg-3build1_amd64.deb |
21932904 |
2025-04-23T17:08:31.393Z |
| acl2_8.2dfsg.orig.tar.gz |
80652725 |
2025-04-23T17:08:43.234Z |
| acl2_8.4dfsg-2.debian.tar.xz |
311628 |
2025-04-23T17:08:31.061Z |
| acl2_8.4dfsg-2.dsc |
2281 |
2025-04-23T17:08:32.221Z |
| acl2_8.4dfsg-2_amd64.deb |
26133150 |
2025-04-23T17:08:56.593Z |
| acl2_8.4dfsg.orig.tar.gz |
202991839 |
2025-04-23T17:09:07.934Z |
| acl2_8.5dfsg-5build3.debian.tar.xz |
313036 |
2025-04-23T17:08:35.390Z |
| acl2_8.5dfsg-5build3.dsc |
2371 |
2025-04-23T17:08:36.044Z |
| acl2_8.5dfsg-5build3_amd64.deb |
26854572 |
2025-04-23T17:08:41.566Z |
| acl2_8.5dfsg-6.debian.tar.xz |
312848 |
2025-04-23T17:08:39.193Z |
| acl2_8.5dfsg-6.dsc |
2268 |
2025-04-23T17:08:41.765Z |
| acl2_8.5dfsg-6_amd64.deb |
26482042 |
2025-04-23T17:08:45.810Z |
| acl2_8.5dfsg.orig.tar.gz |
223546594 |
2025-04-23T17:09:36.648Z |
| acl2_8.6+dfsg-3.debian.tar.xz |
711200 |
2025-05-20T23:17:04.500Z |
| acl2_8.6+dfsg-3.dsc |
2288 |
2025-05-20T23:17:04.890Z |
| acl2_8.6+dfsg-3_amd64.deb |
47521530 |
2025-05-20T23:17:09.213Z |
| acl2_8.6+dfsg-3_arm64.deb |
47358036 |
2026-04-02T05:27:01.367Z |
| acl2_8.6+dfsg-3build1.debian.tar.xz |
711120 |
2026-02-04T02:28:14.131Z |
| acl2_8.6+dfsg-3build1.dsc |
2312 |
2026-02-04T02:28:13.770Z |
| acl2_8.6+dfsg-3build1_amd64.deb |
48895074 |
2026-02-04T08:33:26.138Z |
| acl2_8.6+dfsg-3build1_amd64v3.deb |
48196810 |
2026-02-04T14:30:36.905Z |
| acl2_8.6+dfsg-3build1_arm64.deb |
48103244 |
2026-04-02T05:26:59.345Z |
| acl2_8.6+dfsg.orig.tar.gz |
240329345 |
2025-05-20T23:17:26.754Z |
| elpa-acl2_8.4dfsg-2_all.deb |
70790 |
2025-04-23T17:08:47.523Z |
| elpa-acl2_8.5dfsg-5build3_all.deb |
72432 |
2025-04-23T17:08:49.249Z |
| elpa-acl2_8.5dfsg-6_all.deb |
72514 |
2026-04-16T20:59:34.080Z |
| elpa-acl2_8.6+dfsg-3_all.deb |
80512 |
2025-05-20T23:17:06.921Z |
| elpa-acl2_8.6+dfsg-3build1_all.deb |
80630 |
2026-04-16T20:59:33.960Z |