uk-mirror.onlyservers.com
Sync healthy Servers, Bandwidth and storage provided by OnlyServers UK Browse

Index of /ubuntu/pool/universe/a/acl2/

Show dotfiles
Name
Last modified
Size
../
-
-
acl2-books-certs_6.3-5_all.deb
24-Oct-2013 16:36
11.1 MB
acl2-books-certs_7.1-1_all.deb
27-Jun-2015 13:48
12.58 MB
acl2-books-certs_8.0dfsg-1_all.deb
14-Jan-2018 03:08
70 MB
acl2-books-certs_8.2dfsg-3build1_all.deb
23-Mar-2020 13:24
65.78 MB
acl2-books-certs_8.4dfsg-2_all.deb
19-Dec-2021 01:10
221.09 MB
acl2-books-certs_8.5dfsg-5build3_all.deb
02-Apr-2024 08:03
215.75 MB
acl2-books-certs_8.5dfsg-6_all.deb
29-Jul-2024 04:20
78.65 MB
acl2-books-certs_8.6+dfsg-3_all.deb
15-May-2025 07:30
267.66 MB
acl2-books-certs_8.6+dfsg-3build1_all.deb
04-Feb-2026 06:32
267.04 MB
acl2-books-source_6.3-5_all.deb
24-Oct-2013 16:36
9.13 MB
acl2-books-source_7.1-1_all.deb
27-Jun-2015 13:48
9.85 MB
acl2-books-source_8.0dfsg-1_all.deb
14-Jan-2018 03:08
11.89 MB
acl2-books-source_8.2dfsg-3build1_all.deb
23-Mar-2020 13:24
13.63 MB
acl2-books-source_8.4dfsg-2_all.deb
19-Dec-2021 01:10
21.11 MB
acl2-books-source_8.5dfsg-5build3_all.deb
02-Apr-2024 08:02
22.7 MB
acl2-books-source_8.5dfsg-6_all.deb
29-Jul-2024 04:20
22.71 MB
acl2-books-source_8.6+dfsg-3_all.deb
15-May-2025 07:30
26.34 MB
acl2-books-source_8.6+dfsg-3build1_all.deb
04-Feb-2026 06:32
26.49 MB
acl2-books_6.3-5_amd64.deb
24-Oct-2013 16:36
40.12 MB
acl2-books_6.3-5_i386.deb
24-Oct-2013 16:36
35.81 MB
acl2-books_7.1-1_amd64.deb
27-Jun-2015 13:48
18.7 MB
acl2-books_7.1-1_i386.deb
02-Jun-2015 02:43
17.74 MB
acl2-books_8.0dfsg-1_amd64.deb
14-Jan-2018 03:08
131.69 MB
acl2-books_8.0dfsg-1_i386.deb
14-Jan-2018 04:49
114.06 MB
acl2-books_8.2dfsg-3build1_amd64.deb
23-Mar-2020 13:24
163.36 MB
acl2-books_8.4dfsg-2_amd64.deb
19-Dec-2021 01:09
337.55 MB
acl2-books_8.5dfsg-5build3_amd64.deb
02-Apr-2024 08:03
330.5 MB
acl2-books_8.5dfsg-6_amd64.deb
29-Jul-2024 04:20
170.51 MB
acl2-books_8.6+dfsg-3_amd64.deb
15-May-2025 07:30
468.98 MB
acl2-books_8.6+dfsg-3build1_amd64.deb
04-Feb-2026 06:32
466.91 MB
acl2-books_8.6+dfsg-3build1_amd64v3.deb
04-Feb-2026 08:06
467.16 MB
acl2-doc_6.3-5_all.deb
24-Oct-2013 16:36
12.14 MB
acl2-doc_7.1-1_all.deb
27-Jun-2015 13:48
353.3 KB
acl2-doc_8.0dfsg-1_all.deb
14-Jan-2018 03:08
385.12 KB
acl2-doc_8.2dfsg-3build1_all.deb
23-Mar-2020 13:24
418.07 KB
acl2-doc_8.4dfsg-2_all.deb
19-Dec-2021 01:09
441.07 KB
acl2-doc_8.5dfsg-5build3_all.deb
02-Apr-2024 08:02
473.93 KB
acl2-doc_8.5dfsg-6_all.deb
29-Jul-2024 04:20
473.8 KB
acl2-doc_8.6+dfsg-3_all.deb
15-May-2025 07:30
516.04 KB
acl2-doc_8.6+dfsg-3build1_all.deb
04-Feb-2026 06:32
516.13 KB
acl2-emacs_6.3-5_all.deb
24-Oct-2013 16:36
54.98 KB
acl2-emacs_7.1-1_all.deb
27-Jun-2015 13:48
55.2 KB
acl2-emacs_8.0dfsg-1_all.deb
14-Jan-2018 03:08
58.93 KB
acl2-emacs_8.2dfsg-3build1_all.deb
23-Mar-2020 13:24
59.1 KB
acl2-infix-source_6.3-5_all.deb
24-Oct-2013 16:36
85.97 KB
acl2-infix-source_7.1-1_all.deb
27-Jun-2015 13:48
70.33 KB
acl2-infix-source_8.0dfsg-1_all.deb
14-Jan-2018 03:08
70.2 KB
acl2-infix-source_8.2dfsg-3build1_all.deb
23-Mar-2020 13:24
70.23 KB
acl2-infix-source_8.4dfsg-2_all.deb
19-Dec-2021 01:10
71.95 KB
acl2-infix-source_8.5dfsg-5build3_all.deb
02-Apr-2024 08:02
72.41 KB
acl2-infix-source_8.5dfsg-6_all.deb
29-Jul-2024 04:20
72.29 KB
acl2-infix-source_8.6+dfsg-3_all.deb
15-May-2025 07:30
72.77 KB
acl2-infix-source_8.6+dfsg-3build1_all.deb
04-Feb-2026 06:32
72.88 KB
acl2-infix_6.3-5_amd64.deb
24-Oct-2013 16:36
200.32 KB
acl2-infix_6.3-5_i386.deb
24-Oct-2013 16:36
189.04 KB
acl2-infix_7.1-1_amd64.deb
27-Jun-2015 13:48
140.19 KB
acl2-infix_7.1-1_i386.deb
02-Jun-2015 02:43
142.15 KB
acl2-infix_8.0dfsg-1_amd64.deb
14-Jan-2018 03:08
414.21 KB
acl2-infix_8.0dfsg-1_i386.deb
14-Jan-2018 04:49
381.12 KB
acl2-infix_8.2dfsg-3build1_amd64.deb
23-Mar-2020 13:24
469.87 KB
acl2-infix_8.4dfsg-2_amd64.deb
19-Dec-2021 01:09
550.79 KB
acl2-infix_8.5dfsg-5build3_amd64.deb
02-Apr-2024 08:02
538.13 KB
acl2-infix_8.5dfsg-6_amd64.deb
29-Jul-2024 04:20
533.04 KB
acl2-infix_8.6+dfsg-3_amd64.deb
15-May-2025 07:30
990.84 KB
acl2-infix_8.6+dfsg-3build1_amd64.deb
04-Feb-2026 06:32
976.35 KB
acl2-infix_8.6+dfsg-3build1_amd64v3.deb
04-Feb-2026 08:06
980.35 KB
acl2-source_6.3-5_all.deb
24-Oct-2013 16:36
3.62 MB
acl2-source_7.1-1_all.deb
27-Jun-2015 13:48
2.71 MB
acl2-source_8.0dfsg-1_all.deb
14-Jan-2018 03:08
2.93 MB
acl2-source_8.2dfsg-3build1_all.deb
23-Mar-2020 13:24
3.12 MB
acl2-source_8.4dfsg-2_all.deb
19-Dec-2021 01:10
3.37 MB
acl2-source_8.5dfsg-5build3_all.deb
02-Apr-2024 08:02
3.48 MB
acl2-source_8.5dfsg-6_all.deb
29-Jul-2024 04:20
3.48 MB
acl2-source_8.6+dfsg-3_all.deb
15-May-2025 07:30
3.87 MB
acl2-source_8.6+dfsg-3build1_all.deb
04-Feb-2026 06:32
3.87 MB
acl2_6.3-5.debian.tar.gz
21-Oct-2013 13:09
157.7 KB
acl2_6.3-5.dsc
21-Oct-2013 13:09
1.71 KB
acl2_6.3-5_amd64.deb
24-Oct-2013 16:36
26.59 MB
acl2_6.3-5_i386.deb
24-Oct-2013 16:36
22.9 MB
acl2_6.3.orig-books.tar.gz
21-Oct-2013 13:09
12.97 MB
acl2_6.3.orig.tar.gz
21-Oct-2013 13:09
6.74 MB
acl2_7.1-1.debian.tar.xz
01-Jun-2015 23:24
125.88 KB
acl2_7.1-1.dsc
01-Jun-2015 23:24
2.15 KB
acl2_7.1-1_amd64.deb
27-Jun-2015 13:48
16.48 MB
acl2_7.1-1_i386.deb
02-Jun-2015 02:43
15.7 MB
acl2_7.1.orig.tar.gz
01-Jun-2015 23:24
60.41 MB
acl2_8.0dfsg-1.debian.tar.xz
13-Jan-2018 23:08
199.96 KB
acl2_8.0dfsg-1.dsc
13-Jan-2018 23:08
2.19 KB
acl2_8.0dfsg-1_amd64.deb
14-Jan-2018 03:08
18.79 MB
acl2_8.0dfsg-1_i386.deb
14-Jan-2018 04:49
16.21 MB
acl2_8.0dfsg.orig.tar.gz
13-Jan-2018 23:08
74.04 MB
acl2_8.2dfsg-3build1.debian.tar.xz
23-Mar-2020 07:00
201.2 KB
acl2_8.2dfsg-3build1.dsc
23-Mar-2020 07:00
2.24 KB
acl2_8.2dfsg-3build1_amd64.deb
23-Mar-2020 13:24
20.92 MB
acl2_8.2dfsg.orig.tar.gz
19-Dec-2019 23:13
76.92 MB
acl2_8.4dfsg-2.debian.tar.xz
01-Nov-2021 23:24
304.32 KB
acl2_8.4dfsg-2.dsc
01-Nov-2021 23:24
2.23 KB
acl2_8.4dfsg-2_amd64.deb
19-Dec-2021 01:10
24.92 MB
acl2_8.4dfsg.orig.tar.gz
28-Oct-2021 23:18
193.59 MB
acl2_8.5dfsg-5build3.debian.tar.xz
01-Apr-2024 05:43
305.7 KB
acl2_8.5dfsg-5build3.dsc
01-Apr-2024 05:43
2.32 KB
acl2_8.5dfsg-5build3_amd64.deb
02-Apr-2024 08:03
25.61 MB
acl2_8.5dfsg-6.debian.tar.xz
28-Jul-2024 23:59
305.52 KB
acl2_8.5dfsg-6.dsc
28-Jul-2024 23:59
2.21 KB
acl2_8.5dfsg-6_amd64.deb
29-Jul-2024 04:20
25.26 MB
acl2_8.5dfsg.orig.tar.gz
27-Jul-2022 23:33
213.19 MB
acl2_8.6+dfsg-3.debian.tar.xz
15-May-2025 00:36
694.53 KB
acl2_8.6+dfsg-3.dsc
15-May-2025 00:35
2.23 KB
acl2_8.6+dfsg-3_amd64.deb
15-May-2025 07:30
45.32 MB
acl2_8.6+dfsg-3build1.debian.tar.xz
03-Feb-2026 22:43
694.45 KB
acl2_8.6+dfsg-3build1.dsc
03-Feb-2026 22:43
2.26 KB
acl2_8.6+dfsg-3build1_amd64.deb
04-Feb-2026 06:32
46.63 MB
acl2_8.6+dfsg-3build1_amd64v3.deb
04-Feb-2026 08:06
45.96 MB
acl2_8.6+dfsg.orig.tar.gz
01-May-2025 16:25
229.2 MB
elpa-acl2_8.4dfsg-2_all.deb
19-Dec-2021 01:09
69.13 KB
elpa-acl2_8.5dfsg-5build3_all.deb
02-Apr-2024 08:02
70.73 KB
elpa-acl2_8.5dfsg-6_all.deb
29-Jul-2024 04:20
70.81 KB
elpa-acl2_8.6+dfsg-3_all.deb
15-May-2025 07:30
78.63 KB
elpa-acl2_8.6+dfsg-3build1_all.deb
04-Feb-2026 06:32
78.74 KB