| .. |
|
|
|
acl2-books-certs_7.1-1_all.deb
|
2015-06-27 13:48:34 |
12.58 MiB
|
|
acl2-books-certs_8.2dfsg-3build1_all.deb
|
2020-03-23 13:24:07 |
65.78 MiB
|
|
acl2-books-certs_8.5dfsg-5build3_all.deb
|
2024-04-02 08:03:00 |
215.75 MiB
|
|
acl2-books-certs_8.5dfsg-6_all.deb
|
2024-07-29 04:20:24 |
78.65 MiB
|
|
acl2-books-certs_8.6+dfsg-3_all.deb
|
2025-05-15 07:30:30 |
267.66 MiB
|
|
acl2-books-source_7.1-1_all.deb
|
2015-06-27 13:48:39 |
9.85 MiB
|
|
acl2-books-source_8.0dfsg-1_all.deb
|
2018-01-14 03:08:16 |
11.89 MiB
|
|
acl2-books-source_8.2dfsg-3build1_all.deb
|
2020-03-23 13:24:10 |
13.63 MiB
|
|
acl2-books-source_8.4dfsg-2_all.deb
|
2021-12-19 01:10:25 |
21.11 MiB
|
|
acl2-books-source_8.5dfsg-5build3_all.deb
|
2024-04-02 08:02:58 |
22.70 MiB
|
|
acl2-books_6.3-5_armhf.deb
|
2013-10-23 04:44:04 |
108.10 MiB
|
|
acl2-books_6.3-5_powerpc.deb
|
2013-10-22 18:49:20 |
37.67 MiB
|
|
acl2-books_7.1-1_powerpc.deb
|
2015-06-02 05:48:57 |
15.41 MiB
|
|
acl2-books_8.0dfsg-1_arm64.deb
|
2018-01-22 03:23:15 |
134.72 MiB
|
|
acl2-books_8.0dfsg-1_armhf.deb
|
2018-01-21 23:13:28 |
115.66 MiB
|
|
acl2-books_8.0dfsg-1_ppc64el.deb
|
2018-01-31 14:58:01 |
135.34 MiB
|
|
acl2-books_8.2dfsg-3build1_arm64.deb
|
2020-03-24 08:48:21 |
161.45 MiB
|
|
acl2-books_8.2dfsg-3build1_armhf.deb
|
2020-03-24 08:18:26 |
151.22 MiB
|
|
acl2-books_8.2dfsg-3build1_ppc64el.deb
|
2020-03-23 15:18:31 |
169.58 MiB
|
|
acl2-books_8.4dfsg-2_armhf.deb
|
2021-12-26 05:49:04 |
320.58 MiB
|
|
acl2-books_8.4dfsg-2_ppc64el.deb
|
2021-12-25 19:23:50 |
352.34 MiB
|
|
acl2-books_8.4dfsg-2_s390x.deb
|
2021-12-18 17:36:30 |
325.51 MiB
|
|
acl2-books_8.5dfsg-5build3_ppc64el.deb
|
2024-04-02 13:19:17 |
350.33 MiB
|
|
acl2-books_8.5dfsg-5build3_riscv64.deb
|
2024-04-07 23:42:40 |
1.04 GiB
|
|
acl2-books_8.5dfsg-5build3_s390x.deb
|
2024-04-02 05:59:21 |
330.69 MiB
|
|
acl2-books_8.5dfsg-6_armhf.deb
|
2024-07-29 08:18:34 |
161.84 MiB
|
|
acl2-books_8.5dfsg-6_ppc64el.deb
|
2024-07-29 06:11:44 |
183.10 MiB
|
|
acl2-books_8.5dfsg-6_riscv64.deb
|
2024-07-31 19:50:28 |
507.41 MiB
|
|
acl2-books_8.5dfsg-6_s390x.deb
|
2024-07-29 04:20:31 |
168.94 MiB
|
|
acl2-books_8.6+dfsg-3_arm64.deb
|
2025-05-15 08:55:05 |
470.31 MiB
|
|
acl2-books_8.6+dfsg-3_armhf.deb
|
2025-05-19 19:24:08 |
444.33 MiB
|
|
acl2-books_8.6+dfsg-3_ppc64el.deb
|
2025-05-15 10:20:26 |
498.57 MiB
|
|
acl2-books_8.6+dfsg-3_riscv64.deb
|
2025-05-19 07:22:30 |
1.24 GiB
|
|
acl2-doc_6.3-5_all.deb
|
2013-10-24 16:36:25 |
12.14 MiB
|
|
acl2-doc_8.5dfsg-6_all.deb
|
2024-07-29 04:20:21 |
473.80 KiB
|
|
acl2-emacs_6.3-5_all.deb
|
2013-10-24 16:36:24 |
54.98 KiB
|
|
acl2-emacs_8.2dfsg-3build1_all.deb
|
2020-03-23 13:24:10 |
59.10 KiB
|
|
acl2-infix-source_7.1-1_all.deb
|
2015-06-27 13:48:40 |
70.33 KiB
|
|
acl2-infix-source_8.2dfsg-3build1_all.deb
|
2020-03-23 13:24:07 |
70.23 KiB
|
|
acl2-infix-source_8.4dfsg-2_all.deb
|
2021-12-19 01:10:26 |
71.95 KiB
|
|
acl2-infix-source_8.5dfsg-6_all.deb
|
2024-07-29 04:20:21 |
72.29 KiB
|
|
acl2-infix_6.3-5_armhf.deb
|
2013-10-23 04:44:02 |
573.54 KiB
|
|
acl2-infix_6.3-5_powerpc.deb
|
2013-10-22 18:49:19 |
212.06 KiB
|
|
acl2-infix_7.1-1_powerpc.deb
|
2015-06-02 05:48:57 |
132.75 KiB
|
|
acl2-infix_8.0dfsg-1_ppc64el.deb
|
2018-01-31 14:57:59 |
464.24 KiB
|
|
acl2-infix_8.0dfsg-1_s390x.deb
|
2018-01-23 21:18:55 |
377.97 KiB
|
|
acl2-infix_8.2dfsg-3build1_arm64.deb
|
2020-03-24 08:48:22 |
460.85 KiB
|
|
acl2-infix_8.2dfsg-3build1_armhf.deb
|
2020-03-24 08:18:26 |
447.12 KiB
|
|
acl2-infix_8.4dfsg-2_arm64.deb
|
2021-12-26 07:08:55 |
559.19 KiB
|
|
acl2-infix_8.4dfsg-2_armhf.deb
|
2021-12-26 05:49:04 |
551.38 KiB
|
|
acl2-infix_8.4dfsg-2_ppc64el.deb
|
2021-12-25 19:23:46 |
604.11 KiB
|
|
acl2-infix_8.4dfsg-2_s390x.deb
|
2021-12-18 17:36:31 |
553.93 KiB
|
|
acl2-infix_8.5dfsg-5build3_s390x.deb
|
2024-04-02 05:59:19 |
540.89 KiB
|
|
acl2-infix_8.5dfsg-6_arm64.deb
|
2024-07-29 07:11:40 |
533.43 KiB
|
|
acl2-infix_8.5dfsg-6_armhf.deb
|
2024-07-29 08:18:30 |
541.57 KiB
|
|
acl2-infix_8.5dfsg-6_ppc64el.deb
|
2024-07-29 06:11:40 |
590.64 KiB
|
|
acl2-infix_8.5dfsg-6_riscv64.deb
|
2024-07-31 19:50:19 |
1.39 MiB
|
|
acl2-infix_8.5dfsg-6_s390x.deb
|
2024-07-29 04:20:28 |
531.75 KiB
|
|
acl2-infix_8.6+dfsg-3_arm64.deb
|
2025-05-15 08:55:00 |
968.79 KiB
|
|
acl2-infix_8.6+dfsg-3_armhf.deb
|
2025-05-19 19:24:05 |
964.60 KiB
|
|
acl2-infix_8.6+dfsg-3_ppc64el.deb
|
2025-05-15 10:20:22 |
1.02 MiB
|
|
acl2-infix_8.6+dfsg-3_riscv64.deb
|
2025-05-19 07:22:14 |
2.51 MiB
|
|
acl2-source_7.1-1_all.deb
|
2015-06-27 13:48:41 |
2.71 MiB
|
|
acl2-source_8.2dfsg-3build1_all.deb
|
2020-03-23 13:24:10 |
3.12 MiB
|
|
acl2-source_8.4dfsg-2_all.deb
|
2021-12-19 01:10:00 |
3.37 MiB
|
|
acl2-source_8.5dfsg-5build3_all.deb
|
2024-04-02 08:02:57 |
3.48 MiB
|
|
acl2-source_8.5dfsg-6_all.deb
|
2024-07-29 04:20:21 |
3.48 MiB
|
|
acl2-source_8.6+dfsg-3_all.deb
|
2025-05-15 07:30:27 |
3.87 MiB
|
|
acl2_6.3-5.debian.tar.gz
|
2013-10-21 13:09:58 |
157.70 KiB
|
|
acl2_6.3-5_armhf.deb
|
2013-10-23 04:44:05 |
23.11 MiB
|
|
acl2_6.3.orig.tar.gz
|
2013-10-21 13:09:59 |
6.74 MiB
|
|
acl2_7.1-1.dsc
|
2015-06-01 23:24:18 |
2.15 KiB
|
|
acl2_8.0dfsg-1.debian.tar.xz
|
2018-01-13 23:08:21 |
199.96 KiB
|
|
acl2_8.0dfsg-1.dsc
|
2018-01-13 23:08:20 |
2.19 KiB
|
|
acl2_8.0dfsg-1_arm64.deb
|
2018-01-22 03:23:17 |
16.91 MiB
|
|
acl2_8.0dfsg-1_armhf.deb
|
2018-01-21 23:13:28 |
15.43 MiB
|
|
acl2_8.0dfsg-1_s390x.deb
|
2018-01-23 21:18:55 |
17.83 MiB
|
|
acl2_8.0dfsg.orig.tar.gz
|
2018-01-13 23:08:21 |
74.04 MiB
|
|
acl2_8.2dfsg-3build1.debian.tar.xz
|
2020-03-23 07:00:04 |
201.20 KiB
|
|
acl2_8.2dfsg-3build1_ppc64el.deb
|
2020-03-23 15:18:31 |
20.88 MiB
|
|
acl2_8.2dfsg-3build1_s390x.deb
|
2020-03-23 12:14:09 |
20.13 MiB
|
|
acl2_8.2dfsg.orig.tar.gz
|
2019-12-19 23:13:26 |
76.92 MiB
|
|
acl2_8.4dfsg-2_s390x.deb
|
2021-12-18 17:36:31 |
24.77 MiB
|
|
acl2_8.5dfsg-5build3.debian.tar.xz
|
2024-04-01 05:43:39 |
305.70 KiB
|
|
acl2_8.5dfsg-5build3.dsc
|
2024-04-01 05:43:39 |
2.32 KiB
|
|
acl2_8.5dfsg-5build3_arm64.deb
|
2024-04-11 15:38:45 |
24.17 MiB
|
|
acl2_8.5dfsg-5build3_armhf.deb
|
2024-04-03 15:40:13 |
21.38 MiB
|
|
acl2_8.5dfsg-5build3_ppc64el.deb
|
2024-04-02 13:19:17 |
26.02 MiB
|
|
acl2_8.5dfsg-5build3_riscv64.deb
|
2024-04-07 23:42:41 |
25.10 MiB
|
|
acl2_8.5dfsg-6.dsc
|
2024-07-28 23:59:17 |
2.21 KiB
|
|
acl2_8.5dfsg-6_s390x.deb
|
2024-07-29 04:20:32 |
26.75 MiB
|
|
acl2_8.5dfsg.orig.tar.gz
|
2022-07-27 23:33:59 |
213.19 MiB
|
|
acl2_8.6+dfsg-3.debian.tar.xz
|
2025-05-15 00:36:00 |
694.53 KiB
|
|
acl2_8.6+dfsg-3.dsc
|
2025-05-15 00:35:59 |
2.23 KiB
|
|
acl2_8.6+dfsg-3_arm64.deb
|
2025-05-15 08:55:05 |
45.16 MiB
|
|
acl2_8.6+dfsg-3_armhf.deb
|
2025-05-19 19:24:09 |
53.81 MiB
|
|
acl2_8.6+dfsg.orig.tar.gz
|
2025-05-01 16:25:19 |
229.20 MiB
|
|
elpa-acl2_8.5dfsg-5build3_all.deb
|
2024-04-02 08:02:57 |
70.73 KiB
|
|
elpa-acl2_8.5dfsg-6_all.deb
|
2024-07-29 04:20:20 |
70.81 KiB
|
|
elpa-acl2_8.6+dfsg-3_all.deb
|
2025-05-15 07:30:26 |
78.62 KiB
|