| ../ |
- |
- |
| 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-5_all.deb |
216.2 MB |
2023-01-17 02:29 |
| acl2-books-certs_8.5dfsg-5build3_all.deb |
215.8 MB |
2024-04-02 08:03 |
| 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-5_all.deb |
22.9 MB |
2023-01-17 02:29 |
| acl2-books-source_8.5dfsg-5build3_all.deb |
22.7 MB |
2024-04-02 08:02 |
| 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.2dfsg-3build1_armhf.deb |
151.2 MB |
2020-03-24 08:18 |
| acl2-books_8.4dfsg-2_amd64.deb |
337.6 MB |
2021-12-19 01:09 |
| acl2-books_8.4dfsg-2_arm64.deb |
334.8 MB |
2021-12-26 07:08 |
| acl2-books_8.4dfsg-2_armhf.deb |
320.6 MB |
2021-12-26 05:49 |
| acl2-books_8.4dfsg-2_ppc64el.deb |
352.3 MB |
2021-12-25 19:23 |
| acl2-books_8.5dfsg-5_amd64.deb |
329.3 MB |
2023-01-17 02:29 |
| acl2-books_8.5dfsg-5_arm64.deb |
335.8 MB |
2023-01-17 17:45 |
| acl2-books_8.5dfsg-5_armhf.deb |
315.5 MB |
2023-01-17 07:04 |
| acl2-books_8.5dfsg-5_ppc64el.deb |
346.7 MB |
2023-01-17 04:24 |
| acl2-books_8.5dfsg-5_riscv64.deb |
935.3 MB |
2023-02-15 08:04 |
| acl2-books_8.5dfsg-5build3_amd64.deb |
330.5 MB |
2024-04-02 08:03 |
| acl2-books_8.5dfsg-5build3_arm64.deb |
337.1 MB |
2024-04-11 15:38 |
| acl2-books_8.5dfsg-5build3_armhf.deb |
317.6 MB |
2024-04-03 15:40 |
| acl2-books_8.5dfsg-5build3_ppc64el.deb |
350.3 MB |
2024-04-02 13:19 |
| acl2-books_8.5dfsg-5build3_riscv64.deb |
1.0 GB |
2024-04-07 23:42 |
| 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-5_all.deb |
473.4 KB |
2023-01-17 02:29 |
| acl2-doc_8.5dfsg-5build3_all.deb |
473.9 KB |
2024-04-02 08:02 |
| 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_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-5_all.deb |
71.9 KB |
2023-01-17 02:29 |
| acl2-infix-source_8.5dfsg-5build3_all.deb |
72.4 KB |
2024-04-02 08:02 |
| 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.2dfsg-3build1_armhf.deb |
447.1 KB |
2020-03-24 08:18 |
| acl2-infix_8.4dfsg-2_amd64.deb |
550.8 KB |
2021-12-19 01:09 |
| acl2-infix_8.4dfsg-2_arm64.deb |
559.2 KB |
2021-12-26 07:08 |
| acl2-infix_8.4dfsg-2_armhf.deb |
551.4 KB |
2021-12-26 05:49 |
| acl2-infix_8.4dfsg-2_ppc64el.deb |
604.1 KB |
2021-12-25 19:23 |
| acl2-infix_8.5dfsg-5_amd64.deb |
532.7 KB |
2023-01-17 02:29 |
| acl2-infix_8.5dfsg-5_arm64.deb |
539.5 KB |
2023-01-17 17:45 |
| acl2-infix_8.5dfsg-5_armhf.deb |
540.9 KB |
2023-01-17 07:04 |
| acl2-infix_8.5dfsg-5_ppc64el.deb |
577.3 KB |
2023-01-17 04:24 |
| acl2-infix_8.5dfsg-5_riscv64.deb |
1.3 MB |
2023-02-15 08:04 |
| acl2-infix_8.5dfsg-5build3_amd64.deb |
538.1 KB |
2024-04-02 08:02 |
| acl2-infix_8.5dfsg-5build3_arm64.deb |
541.5 KB |
2024-04-11 15:38 |
| acl2-infix_8.5dfsg-5build3_armhf.deb |
541.6 KB |
2024-04-03 15:40 |
| acl2-infix_8.5dfsg-5build3_ppc64el.deb |
594.4 KB |
2024-04-02 13:19 |
| acl2-infix_8.5dfsg-5build3_riscv64.deb |
1.5 MB |
2024-04-07 23:42 |
| 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-5_all.deb |
3.5 MB |
2023-01-17 02:29 |
| acl2-source_8.5dfsg-5build3_all.deb |
3.5 MB |
2024-04-02 08:02 |
| 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-3build1_armhf.deb |
17.8 MB |
2020-03-24 08:18 |
| 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-2_arm64.deb |
23.9 MB |
2021-12-26 07:08 |
| acl2_8.4dfsg-2_armhf.deb |
21.3 MB |
2021-12-26 05:49 |
| acl2_8.4dfsg-2_ppc64el.deb |
25.2 MB |
2021-12-25 19:23 |
| acl2_8.4dfsg.orig.tar.gz |
193.6 MB |
2021-10-28 23:18 |
| acl2_8.5dfsg-5.debian.tar.xz |
305.6 KB |
2023-01-16 17:44 |
| acl2_8.5dfsg-5.dsc |
2.2 KB |
2023-01-16 17:44 |
| acl2_8.5dfsg-5_amd64.deb |
25.7 MB |
2023-01-17 02:29 |
| acl2_8.5dfsg-5_arm64.deb |
24.5 MB |
2023-01-17 17:45 |
| acl2_8.5dfsg-5_armhf.deb |
22.1 MB |
2023-01-17 07:04 |
| acl2_8.5dfsg-5_ppc64el.deb |
25.7 MB |
2023-01-17 04:24 |
| acl2_8.5dfsg-5_riscv64.deb |
23.6 MB |
2023-02-15 08:04 |
| 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-5build3_arm64.deb |
24.2 MB |
2024-04-11 15:38 |
| acl2_8.5dfsg-5build3_armhf.deb |
21.4 MB |
2024-04-03 15:40 |
| acl2_8.5dfsg-5build3_ppc64el.deb |
26.0 MB |
2024-04-02 13:19 |
| acl2_8.5dfsg-5build3_riscv64.deb |
25.1 MB |
2024-04-07 23:42 |
| acl2_8.5dfsg.orig.tar.gz |
213.2 MB |
2022-07-27 23:33 |
| elpa-acl2_8.4dfsg-2_all.deb |
69.1 KB |
2021-12-19 01:09 |
| elpa-acl2_8.5dfsg-5_all.deb |
70.3 KB |
2023-01-17 02:29 |
| elpa-acl2_8.5dfsg-5build3_all.deb |
70.7 KB |
2024-04-02 08:02 |