| ../ |
- |
- |
| acl2-books-certs_6.3-5_all.deb |
11.1 MB |
2013-10-24 16:36 |
| acl2-books-certs_7.1-1_all.deb |
12.6 MB |
2015-06-27 13:48 |
| acl2-books-certs_8.0dfsg-1_all.deb |
70.0 MB |
2018-01-14 03:08 |
| acl2-books-certs_8.2dfsg-3build1_all.deb |
65.8 MB |
2020-03-23 13:24 |
| acl2-books-certs_8.4dfsg-2_all.deb |
221.1 MB |
2021-12-19 01:10 |
| acl2-books-certs_8.5dfsg-5build3_all.deb |
215.8 MB |
2024-04-02 08:03 |
| acl2-books-certs_8.5dfsg-6_all.deb |
78.6 MB |
2024-07-29 04:20 |
| acl2-books-certs_8.6+dfsg-3_all.deb |
267.7 MB |
2025-05-15 07:30 |
| acl2-books-certs_8.6+dfsg-3build1_all.deb |
267.0 MB |
2026-02-04 06:32 |
| acl2-books-source_6.3-5_all.deb |
9.1 MB |
2013-10-24 16:36 |
| acl2-books-source_7.1-1_all.deb |
9.9 MB |
2015-06-27 13:48 |
| acl2-books-source_8.0dfsg-1_all.deb |
11.9 MB |
2018-01-14 03:08 |
| acl2-books-source_8.2dfsg-3build1_all.deb |
13.6 MB |
2020-03-23 13:24 |
| acl2-books-source_8.4dfsg-2_all.deb |
21.1 MB |
2021-12-19 01:10 |
| acl2-books-source_8.5dfsg-5build3_all.deb |
22.7 MB |
2024-04-02 08:02 |
| acl2-books-source_8.5dfsg-6_all.deb |
22.7 MB |
2024-07-29 04:20 |
| acl2-books-source_8.6+dfsg-3_all.deb |
26.3 MB |
2025-05-15 07:30 |
| acl2-books-source_8.6+dfsg-3build1_all.deb |
26.5 MB |
2026-02-04 06:32 |
| acl2-books_6.3-5_amd64.deb |
40.1 MB |
2013-10-24 16:36 |
| acl2-books_6.3-5_i386.deb |
35.8 MB |
2013-10-24 16:36 |
| acl2-books_7.1-1_amd64.deb |
18.7 MB |
2015-06-27 13:48 |
| acl2-books_7.1-1_i386.deb |
17.7 MB |
2015-06-02 02:43 |
| acl2-books_8.0dfsg-1_amd64.deb |
131.7 MB |
2018-01-14 03:08 |
| acl2-books_8.0dfsg-1_i386.deb |
114.1 MB |
2018-01-14 04:49 |
| acl2-books_8.2dfsg-3build1_amd64.deb |
163.4 MB |
2020-03-23 13:24 |
| acl2-books_8.4dfsg-2_amd64.deb |
337.6 MB |
2021-12-19 01:09 |
| acl2-books_8.5dfsg-5build3_amd64.deb |
330.5 MB |
2024-04-02 08:03 |
| acl2-books_8.5dfsg-6_amd64.deb |
170.5 MB |
2024-07-29 04:20 |
| acl2-books_8.6+dfsg-3_amd64.deb |
469.0 MB |
2025-05-15 07:30 |
| acl2-books_8.6+dfsg-3_arm64.deb |
470.3 MB |
2025-05-15 08:55 |
| acl2-books_8.6+dfsg-3build1_amd64.deb |
466.9 MB |
2026-02-04 06:32 |
| acl2-books_8.6+dfsg-3build1_amd64v3.deb |
467.2 MB |
2026-02-04 08:06 |
| acl2-books_8.6+dfsg-3build1_arm64.deb |
465.4 MB |
2026-02-04 08:06 |
| acl2-doc_6.3-5_all.deb |
12.1 MB |
2013-10-24 16:36 |
| acl2-doc_7.1-1_all.deb |
353.3 KB |
2015-06-27 13:48 |
| acl2-doc_8.0dfsg-1_all.deb |
385.1 KB |
2018-01-14 03:08 |
| acl2-doc_8.2dfsg-3build1_all.deb |
418.1 KB |
2020-03-23 13:24 |
| acl2-doc_8.4dfsg-2_all.deb |
441.1 KB |
2021-12-19 01:09 |
| acl2-doc_8.5dfsg-5build3_all.deb |
473.9 KB |
2024-04-02 08:02 |
| acl2-doc_8.5dfsg-6_all.deb |
473.8 KB |
2024-07-29 04:20 |
| acl2-doc_8.6+dfsg-3_all.deb |
516.0 KB |
2025-05-15 07:30 |
| acl2-doc_8.6+dfsg-3build1_all.deb |
516.1 KB |
2026-02-04 06:32 |
| acl2-emacs_6.3-5_all.deb |
55.0 KB |
2013-10-24 16:36 |
| acl2-emacs_7.1-1_all.deb |
55.2 KB |
2015-06-27 13:48 |
| acl2-emacs_8.0dfsg-1_all.deb |
58.9 KB |
2018-01-14 03:08 |
| acl2-emacs_8.2dfsg-3build1_all.deb |
59.1 KB |
2020-03-23 13:24 |
| acl2-infix-source_6.3-5_all.deb |
86.0 KB |
2013-10-24 16:36 |
| acl2-infix-source_7.1-1_all.deb |
70.3 KB |
2015-06-27 13:48 |
| acl2-infix-source_8.0dfsg-1_all.deb |
70.2 KB |
2018-01-14 03:08 |
| acl2-infix-source_8.2dfsg-3build1_all.deb |
70.2 KB |
2020-03-23 13:24 |
| acl2-infix-source_8.4dfsg-2_all.deb |
72.0 KB |
2021-12-19 01:10 |
| acl2-infix-source_8.5dfsg-5build3_all.deb |
72.4 KB |
2024-04-02 08:02 |
| acl2-infix-source_8.5dfsg-6_all.deb |
72.3 KB |
2024-07-29 04:20 |
| acl2-infix-source_8.6+dfsg-3_all.deb |
72.8 KB |
2025-05-15 07:30 |
| acl2-infix-source_8.6+dfsg-3build1_all.deb |
72.9 KB |
2026-02-04 06:32 |
| acl2-infix_6.3-5_amd64.deb |
200.3 KB |
2013-10-24 16:36 |
| acl2-infix_6.3-5_i386.deb |
189.0 KB |
2013-10-24 16:36 |
| acl2-infix_7.1-1_amd64.deb |
140.2 KB |
2015-06-27 13:48 |
| acl2-infix_7.1-1_i386.deb |
142.1 KB |
2015-06-02 02:43 |
| acl2-infix_8.0dfsg-1_amd64.deb |
414.2 KB |
2018-01-14 03:08 |
| acl2-infix_8.0dfsg-1_i386.deb |
381.1 KB |
2018-01-14 04:49 |
| acl2-infix_8.2dfsg-3build1_amd64.deb |
469.9 KB |
2020-03-23 13:24 |
| acl2-infix_8.4dfsg-2_amd64.deb |
550.8 KB |
2021-12-19 01:09 |
| acl2-infix_8.5dfsg-5build3_amd64.deb |
538.1 KB |
2024-04-02 08:02 |
| acl2-infix_8.5dfsg-6_amd64.deb |
533.0 KB |
2024-07-29 04:20 |
| acl2-infix_8.6+dfsg-3_amd64.deb |
990.8 KB |
2025-05-15 07:30 |
| acl2-infix_8.6+dfsg-3_arm64.deb |
968.8 KB |
2025-05-15 08:55 |
| acl2-infix_8.6+dfsg-3build1_amd64.deb |
976.3 KB |
2026-02-04 06:32 |
| acl2-infix_8.6+dfsg-3build1_amd64v3.deb |
980.3 KB |
2026-02-04 08:06 |
| acl2-infix_8.6+dfsg-3build1_arm64.deb |
959.2 KB |
2026-02-04 08:06 |
| acl2-source_6.3-5_all.deb |
3.6 MB |
2013-10-24 16:36 |
| acl2-source_7.1-1_all.deb |
2.7 MB |
2015-06-27 13:48 |
| acl2-source_8.0dfsg-1_all.deb |
2.9 MB |
2018-01-14 03:08 |
| acl2-source_8.2dfsg-3build1_all.deb |
3.1 MB |
2020-03-23 13:24 |
| acl2-source_8.4dfsg-2_all.deb |
3.4 MB |
2021-12-19 01:10 |
| acl2-source_8.5dfsg-5build3_all.deb |
3.5 MB |
2024-04-02 08:02 |
| acl2-source_8.5dfsg-6_all.deb |
3.5 MB |
2024-07-29 04:20 |
| acl2-source_8.6+dfsg-3_all.deb |
3.9 MB |
2025-05-15 07:30 |
| acl2-source_8.6+dfsg-3build1_all.deb |
3.9 MB |
2026-02-04 06:32 |
| acl2_6.3-5.debian.tar.gz |
157.7 KB |
2013-10-21 13:09 |
| acl2_6.3-5.dsc |
1.7 KB |
2013-10-21 13:09 |
| acl2_6.3-5_amd64.deb |
26.6 MB |
2013-10-24 16:36 |
| acl2_6.3-5_i386.deb |
22.9 MB |
2013-10-24 16:36 |
| acl2_6.3.orig-books.tar.gz |
13.0 MB |
2013-10-21 13:09 |
| acl2_6.3.orig.tar.gz |
6.7 MB |
2013-10-21 13:09 |
| acl2_7.1-1.debian.tar.xz |
125.9 KB |
2015-06-01 23:24 |
| acl2_7.1-1.dsc |
2.2 KB |
2015-06-01 23:24 |
| acl2_7.1-1_amd64.deb |
16.5 MB |
2015-06-27 13:48 |
| acl2_7.1-1_i386.deb |
15.7 MB |
2015-06-02 02:43 |
| acl2_7.1.orig.tar.gz |
60.4 MB |
2015-06-01 23:24 |
| acl2_8.0dfsg-1.debian.tar.xz |
200.0 KB |
2018-01-13 23:08 |
| acl2_8.0dfsg-1.dsc |
2.2 KB |
2018-01-13 23:08 |
| acl2_8.0dfsg-1_amd64.deb |
18.8 MB |
2018-01-14 03:08 |
| acl2_8.0dfsg-1_i386.deb |
16.2 MB |
2018-01-14 04:49 |
| acl2_8.0dfsg.orig.tar.gz |
74.0 MB |
2018-01-13 23:08 |
| acl2_8.2dfsg-3build1.debian.tar.xz |
201.2 KB |
2020-03-23 07:00 |
| acl2_8.2dfsg-3build1.dsc |
2.2 KB |
2020-03-23 07:00 |
| acl2_8.2dfsg-3build1_amd64.deb |
20.9 MB |
2020-03-23 13:24 |
| acl2_8.2dfsg.orig.tar.gz |
76.9 MB |
2019-12-19 23:13 |
| acl2_8.4dfsg-2.debian.tar.xz |
304.3 KB |
2021-11-01 23:24 |
| acl2_8.4dfsg-2.dsc |
2.2 KB |
2021-11-01 23:24 |
| acl2_8.4dfsg-2_amd64.deb |
24.9 MB |
2021-12-19 01:10 |
| acl2_8.4dfsg.orig.tar.gz |
193.6 MB |
2021-10-28 23:18 |
| acl2_8.5dfsg-5build3.debian.tar.xz |
305.7 KB |
2024-04-01 05:43 |
| acl2_8.5dfsg-5build3.dsc |
2.3 KB |
2024-04-01 05:43 |
| acl2_8.5dfsg-5build3_amd64.deb |
25.6 MB |
2024-04-02 08:03 |
| acl2_8.5dfsg-6.debian.tar.xz |
305.5 KB |
2024-07-28 23:59 |
| acl2_8.5dfsg-6.dsc |
2.2 KB |
2024-07-28 23:59 |
| acl2_8.5dfsg-6_amd64.deb |
25.3 MB |
2024-07-29 04:20 |
| acl2_8.5dfsg.orig.tar.gz |
213.2 MB |
2022-07-27 23:33 |
| acl2_8.6+dfsg-3.debian.tar.xz |
694.5 KB |
2025-05-15 00:36 |
| acl2_8.6+dfsg-3.dsc |
2.2 KB |
2025-05-15 00:35 |
| acl2_8.6+dfsg-3_amd64.deb |
45.3 MB |
2025-05-15 07:30 |
| acl2_8.6+dfsg-3_arm64.deb |
45.2 MB |
2025-05-15 08:55 |
| acl2_8.6+dfsg-3build1.debian.tar.xz |
694.5 KB |
2026-02-03 22:43 |
| acl2_8.6+dfsg-3build1.dsc |
2.3 KB |
2026-02-03 22:43 |
| acl2_8.6+dfsg-3build1_amd64.deb |
46.6 MB |
2026-02-04 06:32 |
| acl2_8.6+dfsg-3build1_amd64v3.deb |
46.0 MB |
2026-02-04 08:06 |
| acl2_8.6+dfsg-3build1_arm64.deb |
45.9 MB |
2026-02-04 08:06 |
| acl2_8.6+dfsg.orig.tar.gz |
229.2 MB |
2025-05-01 16:25 |
| elpa-acl2_8.4dfsg-2_all.deb |
69.1 KB |
2021-12-19 01:09 |
| elpa-acl2_8.5dfsg-5build3_all.deb |
70.7 KB |
2024-04-02 08:02 |
| elpa-acl2_8.5dfsg-6_all.deb |
70.8 KB |
2024-07-29 04:20 |
| elpa-acl2_8.6+dfsg-3_all.deb |
78.6 KB |
2025-05-15 07:30 |
| elpa-acl2_8.6+dfsg-3build1_all.deb |
78.7 KB |
2026-02-04 06:32 |