Folder Path

/ubuntu-ports/ubuntu-ports/pool/universe/a/acl2/

0 directories 144 files
List Grid
Name
Size Modified
Up
acl2-books-certs_6.3-5_all.deb
11 MiB
acl2-books-certs_7.1-1_all.deb
13 MiB
acl2-books-certs_8.0dfsg-1_all.deb
70 MiB
acl2-books-certs_8.2dfsg-3build1_all.deb
66 MiB
acl2-books-certs_8.4dfsg-2_all.deb
221 MiB
acl2-books-certs_8.5dfsg-5_all.deb
216 MiB
acl2-books-certs_8.5dfsg-5build3_all.deb
216 MiB
acl2-books-source_6.3-5_all.deb
9.1 MiB
acl2-books-source_7.1-1_all.deb
9.9 MiB
acl2-books-source_8.0dfsg-1_all.deb
12 MiB
acl2-books-source_8.2dfsg-3build1_all.deb
14 MiB
acl2-books-source_8.4dfsg-2_all.deb
21 MiB
acl2-books-source_8.5dfsg-5_all.deb
23 MiB
acl2-books-source_8.5dfsg-5build3_all.deb
23 MiB
acl2-books_6.3-5_armhf.deb
108 MiB
acl2-books_6.3-5_powerpc.deb
38 MiB
acl2-books_7.1-1_arm64.deb
19 MiB
acl2-books_7.1-1_armhf.deb
60 MiB
acl2-books_7.1-1_powerpc.deb
15 MiB
acl2-books_8.0dfsg-1_arm64.deb
135 MiB
acl2-books_8.0dfsg-1_armhf.deb
116 MiB
acl2-books_8.0dfsg-1_ppc64el.deb
135 MiB
acl2-books_8.0dfsg-1_s390x.deb
122 MiB
acl2-books_8.2dfsg-3build1_arm64.deb
162 MiB
acl2-books_8.2dfsg-3build1_armhf.deb
151 MiB
acl2-books_8.2dfsg-3build1_ppc64el.deb
170 MiB
acl2-books_8.2dfsg-3build1_s390x.deb
148 MiB
acl2-books_8.4dfsg-2_arm64.deb
335 MiB
acl2-books_8.4dfsg-2_armhf.deb
321 MiB
acl2-books_8.4dfsg-2_ppc64el.deb
352 MiB
acl2-books_8.4dfsg-2_s390x.deb
326 MiB
acl2-books_8.5dfsg-5_arm64.deb
336 MiB
acl2-books_8.5dfsg-5_armhf.deb
316 MiB
acl2-books_8.5dfsg-5_ppc64el.deb
347 MiB
acl2-books_8.5dfsg-5_riscv64.deb
935 MiB
acl2-books_8.5dfsg-5_s390x.deb
314 MiB
acl2-books_8.5dfsg-5build3_arm64.deb
337 MiB
acl2-books_8.5dfsg-5build3_armhf.deb
318 MiB
acl2-books_8.5dfsg-5build3_ppc64el.deb
350 MiB
acl2-books_8.5dfsg-5build3_riscv64.deb
1.0 GiB
acl2-books_8.5dfsg-5build3_s390x.deb
331 MiB
acl2-doc_6.3-5_all.deb
12 MiB
acl2-doc_7.1-1_all.deb
353 KiB
acl2-doc_8.0dfsg-1_all.deb
385 KiB
acl2-doc_8.2dfsg-3build1_all.deb
418 KiB
acl2-doc_8.4dfsg-2_all.deb
441 KiB
acl2-doc_8.5dfsg-5_all.deb
473 KiB
acl2-doc_8.5dfsg-5build3_all.deb
474 KiB
acl2-emacs_6.3-5_all.deb
55 KiB
acl2-emacs_7.1-1_all.deb
55 KiB
acl2-emacs_8.0dfsg-1_all.deb
59 KiB
acl2-emacs_8.2dfsg-3build1_all.deb
59 KiB
acl2-infix-source_6.3-5_all.deb
86 KiB
acl2-infix-source_7.1-1_all.deb
70 KiB
acl2-infix-source_8.0dfsg-1_all.deb
70 KiB
acl2-infix-source_8.2dfsg-3build1_all.deb
70 KiB
acl2-infix-source_8.4dfsg-2_all.deb
72 KiB
acl2-infix-source_8.5dfsg-5_all.deb
72 KiB
acl2-infix-source_8.5dfsg-5build3_all.deb
72 KiB
acl2-infix_6.3-5_armhf.deb
574 KiB
acl2-infix_6.3-5_powerpc.deb
212 KiB
acl2-infix_7.1-1_arm64.deb
148 KiB
acl2-infix_7.1-1_armhf.deb
423 KiB
acl2-infix_7.1-1_powerpc.deb
133 KiB
acl2-infix_8.0dfsg-1_arm64.deb
420 KiB
acl2-infix_8.0dfsg-1_armhf.deb
400 KiB
acl2-infix_8.0dfsg-1_ppc64el.deb
464 KiB
acl2-infix_8.0dfsg-1_s390x.deb
378 KiB
acl2-infix_8.2dfsg-3build1_arm64.deb
461 KiB
acl2-infix_8.2dfsg-3build1_armhf.deb
447 KiB
acl2-infix_8.2dfsg-3build1_ppc64el.deb
486 KiB
acl2-infix_8.2dfsg-3build1_s390x.deb
435 KiB
acl2-infix_8.4dfsg-2_arm64.deb
559 KiB
acl2-infix_8.4dfsg-2_armhf.deb
551 KiB
acl2-infix_8.4dfsg-2_ppc64el.deb
604 KiB
acl2-infix_8.4dfsg-2_s390x.deb
554 KiB
acl2-infix_8.5dfsg-5_arm64.deb
540 KiB
acl2-infix_8.5dfsg-5_armhf.deb
541 KiB
acl2-infix_8.5dfsg-5_ppc64el.deb
577 KiB
acl2-infix_8.5dfsg-5_riscv64.deb
1.3 MiB
acl2-infix_8.5dfsg-5_s390x.deb
502 KiB
acl2-infix_8.5dfsg-5build3_arm64.deb
542 KiB
acl2-infix_8.5dfsg-5build3_armhf.deb
542 KiB
acl2-infix_8.5dfsg-5build3_ppc64el.deb
594 KiB
acl2-infix_8.5dfsg-5build3_riscv64.deb
1.5 MiB
acl2-infix_8.5dfsg-5build3_s390x.deb
541 KiB
acl2-source_6.3-5_all.deb
3.6 MiB
acl2-source_7.1-1_all.deb
2.7 MiB
acl2-source_8.0dfsg-1_all.deb
2.9 MiB
acl2-source_8.2dfsg-3build1_all.deb
3.1 MiB
acl2-source_8.4dfsg-2_all.deb
3.4 MiB
acl2-source_8.5dfsg-5_all.deb
3.5 MiB
acl2-source_8.5dfsg-5build3_all.deb
3.5 MiB
acl2_6.3-5.debian.tar.gz
158 KiB
acl2_6.3-5.dsc
1.7 KiB
acl2_6.3-5_armhf.deb
23 MiB
acl2_6.3-5_powerpc.deb
25 MiB
acl2_6.3.orig-books.tar.gz
13 MiB
acl2_6.3.orig.tar.gz
6.7 MiB
acl2_7.1-1.debian.tar.xz
126 KiB
acl2_7.1-1.dsc
2.2 KiB
acl2_7.1-1_arm64.deb
15 MiB
acl2_7.1-1_armhf.deb
15 MiB
acl2_7.1-1_powerpc.deb
13 MiB
acl2_7.1.orig.tar.gz
60 MiB
acl2_8.0dfsg-1.debian.tar.xz
200 KiB
acl2_8.0dfsg-1.dsc
2.2 KiB
acl2_8.0dfsg-1_arm64.deb
17 MiB
acl2_8.0dfsg-1_armhf.deb
15 MiB
acl2_8.0dfsg-1_ppc64el.deb
19 MiB
acl2_8.0dfsg-1_s390x.deb
18 MiB
acl2_8.0dfsg.orig.tar.gz
74 MiB
acl2_8.2dfsg-3build1.debian.tar.xz
201 KiB
acl2_8.2dfsg-3build1.dsc
2.2 KiB
acl2_8.2dfsg-3build1_arm64.deb
19 MiB
acl2_8.2dfsg-3build1_armhf.deb
18 MiB
acl2_8.2dfsg-3build1_ppc64el.deb
21 MiB
acl2_8.2dfsg-3build1_s390x.deb
20 MiB
acl2_8.2dfsg.orig.tar.gz
77 MiB
acl2_8.4dfsg-2.debian.tar.xz
304 KiB
acl2_8.4dfsg-2.dsc
2.2 KiB
acl2_8.4dfsg-2_arm64.deb
24 MiB
acl2_8.4dfsg-2_armhf.deb
21 MiB
acl2_8.4dfsg-2_ppc64el.deb
25 MiB
acl2_8.4dfsg-2_s390x.deb
25 MiB
acl2_8.4dfsg.orig.tar.gz
194 MiB
acl2_8.5dfsg-5.debian.tar.xz
306 KiB
acl2_8.5dfsg-5.dsc
2.2 KiB
acl2_8.5dfsg-5_arm64.deb
24 MiB
acl2_8.5dfsg-5_armhf.deb
22 MiB
acl2_8.5dfsg-5_ppc64el.deb
26 MiB
acl2_8.5dfsg-5_riscv64.deb
24 MiB
acl2_8.5dfsg-5_s390x.deb
25 MiB
acl2_8.5dfsg-5build3.debian.tar.xz
306 KiB
acl2_8.5dfsg-5build3.dsc
2.3 KiB
acl2_8.5dfsg-5build3_arm64.deb
24 MiB
acl2_8.5dfsg-5build3_armhf.deb
21 MiB
acl2_8.5dfsg-5build3_ppc64el.deb
26 MiB
acl2_8.5dfsg-5build3_riscv64.deb
25 MiB
acl2_8.5dfsg-5build3_s390x.deb
27 MiB
acl2_8.5dfsg.orig.tar.gz
213 MiB
elpa-acl2_8.4dfsg-2_all.deb
69 KiB
elpa-acl2_8.5dfsg-5_all.deb
70 KiB
elpa-acl2_8.5dfsg-5build3_all.deb
71 KiB