Directory listing of http://mirror.proxhost.id/ubuntu/pool/universe/a/acl2
mirror.proxhost.id
/
ubuntu
/
pool
/
universe
/
a
/
acl2
File
Size
Last Modified
..
-
2026-03-31 07:38:47
acl2-books-certs_6.3-5_all.deb
11.10MB
2013-10-24 16:36:23
acl2-books-certs_7.1-1_all.deb
12.58MB
2015-06-27 13:48:34
acl2-books-certs_8.0dfsg-1_all.deb
70.00MB
2018-01-14 03:08:17
acl2-books-certs_8.2dfsg-3build1_all.deb
65.78MB
2020-03-23 13:24:07
acl2-books-certs_8.4dfsg-2_all.deb
221.09MB
2021-12-19 01:10:18
acl2-books-certs_8.5dfsg-5build3_all.deb
215.75MB
2024-04-02 08:03:00
acl2-books-certs_8.5dfsg-6_all.deb
78.65MB
2024-07-29 04:20:24
acl2-books-certs_8.6+dfsg-3build1_all.deb
267.04MB
2026-02-04 06:32:11
acl2-books-certs_8.6+dfsg-3_all.deb
267.66MB
2025-05-15 07:30:30
acl2-books-source_6.3-5_all.deb
9.13MB
2013-10-24 16:36:24
acl2-books-source_7.1-1_all.deb
9.85MB
2015-06-27 13:48:39
acl2-books-source_8.0dfsg-1_all.deb
11.89MB
2018-01-14 03:08:16
acl2-books-source_8.2dfsg-3build1_all.deb
13.63MB
2020-03-23 13:24:10
acl2-books-source_8.4dfsg-2_all.deb
21.11MB
2021-12-19 01:10:25
acl2-books-source_8.5dfsg-5build3_all.deb
22.70MB
2024-04-02 08:02:58
acl2-books-source_8.5dfsg-6_all.deb
22.71MB
2024-07-29 04:20:22
acl2-books-source_8.6+dfsg-3build1_all.deb
26.49MB
2026-02-04 06:32:07
acl2-books-source_8.6+dfsg-3_all.deb
26.34MB
2025-05-15 07:30:27
acl2-books_6.3-5_amd64.deb
40.12MB
2013-10-24 16:36:25
acl2-books_6.3-5_i386.deb
35.81MB
2013-10-24 16:36:44
acl2-books_7.1-1_amd64.deb
18.70MB
2015-06-27 13:48:35
acl2-books_7.1-1_i386.deb
17.74MB
2015-06-02 02:43:16
acl2-books_8.0dfsg-1_amd64.deb
131.69MB
2018-01-14 03:08:15
acl2-books_8.0dfsg-1_i386.deb
114.06MB
2018-01-14 04:49:27
acl2-books_8.2dfsg-3build1_amd64.deb
163.36MB
2020-03-23 13:24:09
acl2-books_8.4dfsg-2_amd64.deb
337.55MB
2021-12-19 01:09:59
acl2-books_8.5dfsg-5build3_amd64.deb
330.50MB
2024-04-02 08:03:05
acl2-books_8.5dfsg-6_amd64.deb
170.51MB
2024-07-29 04:20:26
acl2-books_8.6+dfsg-3build1_amd64.deb
466.91MB
2026-02-04 06:32:18
acl2-books_8.6+dfsg-3build1_amd64v3.deb
467.16MB
2026-02-04 08:06:07
acl2-books_8.6+dfsg-3build1_arm64.deb
465.36MB
2026-02-04 08:06:14
acl2-books_8.6+dfsg-3_amd64.deb
468.98MB
2025-05-15 07:30:37
acl2-books_8.6+dfsg-3_arm64.deb
470.31MB
2025-05-15 08:55:05
acl2-doc_6.3-5_all.deb
12.14MB
2013-10-24 16:36:25
acl2-doc_7.1-1_all.deb
353.30KB
2015-06-27 13:48:36
acl2-doc_8.0dfsg-1_all.deb
385.12KB
2018-01-14 03:08:13
acl2-doc_8.2dfsg-3build1_all.deb
418.07KB
2020-03-23 13:24:10
acl2-doc_8.4dfsg-2_all.deb
441.07KB
2021-12-19 01:09:59
acl2-doc_8.5dfsg-5build3_all.deb
473.93KB
2024-04-02 08:02:57
acl2-doc_8.5dfsg-6_all.deb
473.80KB
2024-07-29 04:20:21
acl2-doc_8.6+dfsg-3build1_all.deb
516.12KB
2026-02-04 06:32:07
acl2-doc_8.6+dfsg-3_all.deb
516.04KB
2025-05-15 07:30:27
acl2-emacs_6.3-5_all.deb
54.98KB
2013-10-24 16:36:24
acl2-emacs_7.1-1_all.deb
55.20KB
2015-06-27 13:48:38
acl2-emacs_8.0dfsg-1_all.deb
58.93KB
2018-01-14 03:08:17
acl2-emacs_8.2dfsg-3build1_all.deb
59.10KB
2020-03-23 13:24:10
acl2-infix-source_6.3-5_all.deb
85.97KB
2013-10-24 16:36:24
acl2-infix-source_7.1-1_all.deb
70.33KB
2015-06-27 13:48:40
acl2-infix-source_8.0dfsg-1_all.deb
70.20KB
2018-01-14 03:08:12
acl2-infix-source_8.2dfsg-3build1_all.deb
70.23KB
2020-03-23 13:24:07
acl2-infix-source_8.4dfsg-2_all.deb
71.95KB
2021-12-19 01:10:26
acl2-infix-source_8.5dfsg-5build3_all.deb
72.41KB
2024-04-02 08:02:57
acl2-infix-source_8.5dfsg-6_all.deb
72.29KB
2024-07-29 04:20:21
acl2-infix-source_8.6+dfsg-3build1_all.deb
72.88KB
2026-02-04 06:32:06
acl2-infix-source_8.6+dfsg-3_all.deb
72.77KB
2025-05-15 07:30:27
acl2-infix_6.3-5_amd64.deb
200.32KB
2013-10-24 16:36:25
acl2-infix_6.3-5_i386.deb
189.04KB
2013-10-24 16:36:43
acl2-infix_7.1-1_amd64.deb
140.19KB
2015-06-27 13:48:37
acl2-infix_7.1-1_i386.deb
142.15KB
2015-06-02 02:43:17
acl2-infix_8.0dfsg-1_amd64.deb
414.21KB
2018-01-14 03:08:13
acl2-infix_8.0dfsg-1_i386.deb
381.12KB
2018-01-14 04:49:27
acl2-infix_8.2dfsg-3build1_amd64.deb
469.87KB
2020-03-23 13:24:10
acl2-infix_8.4dfsg-2_amd64.deb
550.79KB
2021-12-19 01:09:06
acl2-infix_8.5dfsg-5build3_amd64.deb
538.13KB
2024-04-02 08:02:57
acl2-infix_8.5dfsg-6_amd64.deb
533.04KB
2024-07-29 04:20:21
acl2-infix_8.6+dfsg-3build1_amd64.deb
976.35KB
2026-02-04 06:32:06
acl2-infix_8.6+dfsg-3build1_amd64v3.deb
0.96MB
2026-02-04 08:06:00
acl2-infix_8.6+dfsg-3build1_arm64.deb
959.24KB
2026-02-04 08:06:08
acl2-infix_8.6+dfsg-3_amd64.deb
0.97MB
2025-05-15 07:30:27
acl2-infix_8.6+dfsg-3_arm64.deb
968.79KB
2025-05-15 08:55:00
acl2-source_6.3-5_all.deb
3.62MB
2013-10-24 16:36:22
acl2-source_7.1-1_all.deb
2.71MB
2015-06-27 13:48:41
acl2-source_8.0dfsg-1_all.deb
2.93MB
2018-01-14 03:08:13
acl2-source_8.2dfsg-3build1_all.deb
3.12MB
2020-03-23 13:24:10
acl2-source_8.4dfsg-2_all.deb
3.37MB
2021-12-19 01:10:00
acl2-source_8.5dfsg-5build3_all.deb
3.48MB
2024-04-02 08:02:57
acl2-source_8.5dfsg-6_all.deb
3.48MB
2024-07-29 04:20:21
acl2-source_8.6+dfsg-3build1_all.deb
3.87MB
2026-02-04 06:32:06
acl2-source_8.6+dfsg-3_all.deb
3.87MB
2025-05-15 07:30:27
acl2_6.3-5.debian.tar.gz
157.70KB
2013-10-21 13:09:58
acl2_6.3-5.dsc
1.71KB
2013-10-21 13:09:59
acl2_6.3-5_amd64.deb
26.59MB
2013-10-24 16:36:26
acl2_6.3-5_i386.deb
22.90MB
2013-10-24 16:36:43
acl2_6.3.orig-books.tar.gz
12.97MB
2013-10-21 13:09:59
acl2_6.3.orig.tar.gz
6.74MB
2013-10-21 13:09:59
acl2_7.1-1.debian.tar.xz
125.88KB
2015-06-01 23:24:15
acl2_7.1-1.dsc
2.15KB
2015-06-01 23:24:18
acl2_7.1-1_amd64.deb
16.48MB
2015-06-27 13:48:40
acl2_7.1-1_i386.deb
15.70MB
2015-06-02 02:43:17
acl2_7.1.orig.tar.gz
60.41MB
2015-06-01 23:24:18
acl2_8.0dfsg-1.debian.tar.xz
199.96KB
2018-01-13 23:08:21
acl2_8.0dfsg-1.dsc
2.19KB
2018-01-13 23:08:20
acl2_8.0dfsg-1_amd64.deb
18.79MB
2018-01-14 03:08:15
acl2_8.0dfsg-1_i386.deb
16.21MB
2018-01-14 04:49:27
acl2_8.0dfsg.orig.tar.gz
74.04MB
2018-01-13 23:08:21
acl2_8.2dfsg-3build1.debian.tar.xz
201.20KB
2020-03-23 07:00:04
acl2_8.2dfsg-3build1.dsc
2.24KB
2020-03-23 07:00:05
acl2_8.2dfsg-3build1_amd64.deb
20.92MB
2020-03-23 13:24:11
acl2_8.2dfsg.orig.tar.gz
76.92MB
2019-12-19 23:13:26
acl2_8.4dfsg-2.debian.tar.xz
304.32KB
2021-11-01 23:24:22
acl2_8.4dfsg-2.dsc
2.23KB
2021-11-01 23:24:20
acl2_8.4dfsg-2_amd64.deb
24.92MB
2021-12-19 01:10:20
acl2_8.4dfsg.orig.tar.gz
193.59MB
2021-10-28 23:18:50
acl2_8.5dfsg-5build3.debian.tar.xz
305.70KB
2024-04-01 05:43:39
acl2_8.5dfsg-5build3.dsc
2.32KB
2024-04-01 05:43:39
acl2_8.5dfsg-5build3_amd64.deb
25.61MB
2024-04-02 08:03:05
acl2_8.5dfsg-6.debian.tar.xz
305.52KB
2024-07-28 23:59:18
acl2_8.5dfsg-6.dsc
2.21KB
2024-07-28 23:59:17
acl2_8.5dfsg-6_amd64.deb
25.26MB
2024-07-29 04:20:27
acl2_8.5dfsg.orig.tar.gz
213.19MB
2022-07-27 23:33:59
acl2_8.6+dfsg-3.debian.tar.xz
694.53KB
2025-05-15 00:36:00
acl2_8.6+dfsg-3.dsc
2.23KB
2025-05-15 00:35:59
acl2_8.6+dfsg-3build1.debian.tar.xz
694.45KB
2026-02-03 22:43:20
acl2_8.6+dfsg-3build1.dsc
2.26KB
2026-02-03 22:43:20
acl2_8.6+dfsg-3build1_amd64.deb
46.63MB
2026-02-04 06:32:19
acl2_8.6+dfsg-3build1_amd64v3.deb
45.96MB
2026-02-04 08:06:07
acl2_8.6+dfsg-3build1_arm64.deb
45.87MB
2026-02-04 08:06:15
acl2_8.6+dfsg-3_amd64.deb
45.32MB
2025-05-15 07:30:37
acl2_8.6+dfsg-3_arm64.deb
45.16MB
2025-05-15 08:55:05
acl2_8.6+dfsg.orig.tar.gz
229.20MB
2025-05-01 16:25:19
elpa-acl2_8.4dfsg-2_all.deb
69.13KB
2021-12-19 01:09:07
elpa-acl2_8.5dfsg-5build3_all.deb
70.73KB
2024-04-02 08:02:57
elpa-acl2_8.5dfsg-6_all.deb
70.81KB
2024-07-29 04:20:20
elpa-acl2_8.6+dfsg-3build1_all.deb
78.74KB
2026-02-04 06:32:06
elpa-acl2_8.6+dfsg-3_all.deb
78.62KB
2025-05-15 07:30:26