Index of /ubuntu/pool/universe/a/acl2/
name
size
date
acl2_8.6+dfsg-3build1_amd64.deb
46.63M
2026-02-04 06:32:19
acl2-books_8.6+dfsg-3build1_amd64.deb
466.91M
2026-02-04 06:32:18
acl2-books-certs_8.6+dfsg-3build1_all.deb
267.04M
2026-02-04 06:32:11
acl2-books-source_8.6+dfsg-3build1_all.deb
26.49M
2026-02-04 06:32:07
acl2-doc_8.6+dfsg-3build1_all.deb
0.50M
2026-02-04 06:32:07
acl2-infix-source_8.6+dfsg-3build1_all.deb
72.9K
2026-02-04 06:32:06
acl2-infix_8.6+dfsg-3build1_amd64.deb
0.95M
2026-02-04 06:32:06
acl2-source_8.6+dfsg-3build1_all.deb
3.87M
2026-02-04 06:32:06
elpa-acl2_8.6+dfsg-3build1_all.deb
78.7K
2026-02-04 06:32:06
acl2_8.6+dfsg-3build1.debian.tar.xz
0.68M
2026-02-03 22:43:20
acl2_8.6+dfsg-3build1.dsc
2.3K
2026-02-03 22:43:20
acl2-books_8.6+dfsg-3_amd64.deb
468.98M
2025-05-15 07:30:37
acl2_8.6+dfsg-3_amd64.deb
45.32M
2025-05-15 07:30:37
acl2-books-certs_8.6+dfsg-3_all.deb
267.66M
2025-05-15 07:30:30
acl2-books-source_8.6+dfsg-3_all.deb
26.34M
2025-05-15 07:30:27
acl2-doc_8.6+dfsg-3_all.deb
0.50M
2025-05-15 07:30:27
acl2-infix-source_8.6+dfsg-3_all.deb
72.8K
2025-05-15 07:30:27
acl2-infix_8.6+dfsg-3_amd64.deb
0.97M
2025-05-15 07:30:27
acl2-source_8.6+dfsg-3_all.deb
3.87M
2025-05-15 07:30:27
elpa-acl2_8.6+dfsg-3_all.deb
78.6K
2025-05-15 07:30:26
acl2_8.6+dfsg-3.debian.tar.xz
0.68M
2025-05-15 00:36:00
acl2_8.6+dfsg-3.dsc
2.2K
2025-05-15 00:35:59
acl2_8.6+dfsg.orig.tar.gz
229.20M
2025-05-01 16:25:19
acl2_8.5dfsg-6_amd64.deb
25.26M
2024-07-29 04:20:27
acl2-books_8.5dfsg-6_amd64.deb
170.51M
2024-07-29 04:20:26
acl2-books-certs_8.5dfsg-6_all.deb
78.65M
2024-07-29 04:20:24
acl2-books-source_8.5dfsg-6_all.deb
22.71M
2024-07-29 04:20:22
acl2-doc_8.5dfsg-6_all.deb
473.8K
2024-07-29 04:20:21
acl2-infix-source_8.5dfsg-6_all.deb
72.3K
2024-07-29 04:20:21
acl2-infix_8.5dfsg-6_amd64.deb
0.52M
2024-07-29 04:20:21
acl2-source_8.5dfsg-6_all.deb
3.48M
2024-07-29 04:20:21
elpa-acl2_8.5dfsg-6_all.deb
70.8K
2024-07-29 04:20:20
acl2_8.5dfsg-6.debian.tar.xz
305.5K
2024-07-28 23:59:18
acl2_8.5dfsg-6.dsc
2.2K
2024-07-28 23:59:17
acl2-books_8.5dfsg-5build3_amd64.deb
330.50M
2024-04-02 08:03:05
acl2_8.5dfsg-5build3_amd64.deb
25.61M
2024-04-02 08:03:05
acl2-books-certs_8.5dfsg-5build3_all.deb
215.75M
2024-04-02 08:03:00
acl2-books-source_8.5dfsg-5build3_all.deb
22.70M
2024-04-02 08:02:58
acl2-doc_8.5dfsg-5build3_all.deb
473.9K
2024-04-02 08:02:57
acl2-infix-source_8.5dfsg-5build3_all.deb
72.4K
2024-04-02 08:02:57
acl2-infix_8.5dfsg-5build3_amd64.deb
0.53M
2024-04-02 08:02:57
acl2-source_8.5dfsg-5build3_all.deb
3.48M
2024-04-02 08:02:57
elpa-acl2_8.5dfsg-5build3_all.deb
70.7K
2024-04-02 08:02:57
acl2_8.5dfsg-5build3.debian.tar.xz
305.7K
2024-04-01 05:43:39
acl2_8.5dfsg-5build3.dsc
2.3K
2024-04-01 05:43:39
acl2_8.5dfsg.orig.tar.gz
213.19M
2022-07-27 23:33:59
acl2-infix-source_8.4dfsg-2_all.deb
72.0K
2021-12-19 01:10:26
acl2-books-source_8.4dfsg-2_all.deb
21.11M
2021-12-19 01:10:25
acl2_8.4dfsg-2_amd64.deb
24.92M
2021-12-19 01:10:20
acl2-books-certs_8.4dfsg-2_all.deb
221.09M
2021-12-19 01:10:18
acl2-source_8.4dfsg-2_all.deb
3.37M
2021-12-19 01:10:00
acl2-books_8.4dfsg-2_amd64.deb
337.55M
2021-12-19 01:09:59
acl2-doc_8.4dfsg-2_all.deb
441.1K
2021-12-19 01:09:59
elpa-acl2_8.4dfsg-2_all.deb
69.1K
2021-12-19 01:09:07
acl2-infix_8.4dfsg-2_amd64.deb
0.54M
2021-12-19 01:09:06
acl2_8.4dfsg-2.debian.tar.xz
304.3K
2021-11-01 23:24:22
acl2_8.4dfsg-2.dsc
2.2K
2021-11-01 23:24:20
acl2_8.4dfsg.orig.tar.gz
193.59M
2021-10-28 23:18:50
acl2_8.2dfsg-3build1_amd64.deb
20.92M
2020-03-23 13:24:11
acl2-books-source_8.2dfsg-3build1_all.deb
13.63M
2020-03-23 13:24:10
acl2-doc_8.2dfsg-3build1_all.deb
418.1K
2020-03-23 13:24:10
acl2-emacs_8.2dfsg-3build1_all.deb
59.1K
2020-03-23 13:24:10
acl2-infix_8.2dfsg-3build1_amd64.deb
469.9K
2020-03-23 13:24:10
acl2-source_8.2dfsg-3build1_all.deb
3.12M
2020-03-23 13:24:10
acl2-books_8.2dfsg-3build1_amd64.deb
163.36M
2020-03-23 13:24:09
acl2-books-certs_8.2dfsg-3build1_all.deb
65.78M
2020-03-23 13:24:07
acl2-infix-source_8.2dfsg-3build1_all.deb
70.2K
2020-03-23 13:24:07
acl2_8.2dfsg-3build1.dsc
2.2K
2020-03-23 07:00:05
acl2_8.2dfsg-3build1.debian.tar.xz
201.2K
2020-03-23 07:00:04
acl2_8.2dfsg.orig.tar.gz
76.92M
2019-12-19 23:13:26
acl2-books_8.0dfsg-1_i386.deb
114.06M
2018-01-14 04:49:27
acl2-infix_8.0dfsg-1_i386.deb
381.1K
2018-01-14 04:49:27
acl2_8.0dfsg-1_i386.deb
16.21M
2018-01-14 04:49:27
acl2-books-certs_8.0dfsg-1_all.deb
70.00M
2018-01-14 03:08:17
acl2-emacs_8.0dfsg-1_all.deb
58.9K
2018-01-14 03:08:17
acl2-books-source_8.0dfsg-1_all.deb
11.89M
2018-01-14 03:08:16
acl2-books_8.0dfsg-1_amd64.deb
131.69M
2018-01-14 03:08:15
acl2_8.0dfsg-1_amd64.deb
18.79M
2018-01-14 03:08:15
acl2-doc_8.0dfsg-1_all.deb
385.1K
2018-01-14 03:08:13
acl2-infix_8.0dfsg-1_amd64.deb
414.2K
2018-01-14 03:08:13
acl2-source_8.0dfsg-1_all.deb
2.93M
2018-01-14 03:08:13
acl2-infix-source_8.0dfsg-1_all.deb
70.2K
2018-01-14 03:08:12
acl2_8.0dfsg-1.debian.tar.xz
200.0K
2018-01-13 23:08:21
acl2_8.0dfsg.orig.tar.gz
74.04M
2018-01-13 23:08:21
acl2_8.0dfsg-1.dsc
2.2K
2018-01-13 23:08:20
acl2-source_7.1-1_all.deb
2.71M
2015-06-27 13:48:41
acl2-infix-source_7.1-1_all.deb
70.3K
2015-06-27 13:48:40
acl2_7.1-1_amd64.deb
16.48M
2015-06-27 13:48:40
acl2-books-source_7.1-1_all.deb
9.85M
2015-06-27 13:48:39
acl2-emacs_7.1-1_all.deb
55.2K
2015-06-27 13:48:38
acl2-infix_7.1-1_amd64.deb
140.2K
2015-06-27 13:48:37
acl2-doc_7.1-1_all.deb
353.3K
2015-06-27 13:48:36
acl2-books_7.1-1_amd64.deb
18.70M
2015-06-27 13:48:35
acl2-books-certs_7.1-1_all.deb
12.58M
2015-06-27 13:48:34
acl2-infix_7.1-1_i386.deb
142.1K
2015-06-02 02:43:17
acl2_7.1-1_i386.deb
15.70M
2015-06-02 02:43:17
acl2-books_7.1-1_i386.deb
17.74M
2015-06-02 02:43:16
acl2_7.1-1.dsc
2.2K
2015-06-01 23:24:18
acl2_7.1.orig.tar.gz
60.41M
2015-06-01 23:24:18
acl2_7.1-1.debian.tar.xz
125.9K
2015-06-01 23:24:15
acl2-books_6.3-5_i386.deb
35.81M
2013-10-24 16:36:44
acl2-infix_6.3-5_i386.deb
189.0K
2013-10-24 16:36:43
acl2_6.3-5_i386.deb
22.90M
2013-10-24 16:36:43
acl2_6.3-5_amd64.deb
26.59M
2013-10-24 16:36:26
acl2-books_6.3-5_amd64.deb
40.12M
2013-10-24 16:36:25
acl2-doc_6.3-5_all.deb
12.14M
2013-10-24 16:36:25
acl2-infix_6.3-5_amd64.deb
200.3K
2013-10-24 16:36:25
acl2-books-source_6.3-5_all.deb
9.13M
2013-10-24 16:36:24
acl2-emacs_6.3-5_all.deb
55.0K
2013-10-24 16:36:24
acl2-infix-source_6.3-5_all.deb
86.0K
2013-10-24 16:36:24
acl2-books-certs_6.3-5_all.deb
11.10M
2013-10-24 16:36:23
acl2-source_6.3-5_all.deb
3.62M
2013-10-24 16:36:22
acl2_6.3-5.dsc
1.7K
2013-10-21 13:09:59
acl2_6.3.orig-books.tar.gz
12.97M
2013-10-21 13:09:59
acl2_6.3.orig.tar.gz
6.74M
2013-10-21 13:09:59
acl2_6.3-5.debian.tar.gz
157.7K
2013-10-21 13:09:58