Folder Path

/ubuntu/pool/universe/a/acl2/

0 directories 60 files 3.2 GiB total
List Grid
Name
Size Modified
Up
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-5build3_all.deb
216 MiB
acl2-books-certs_8.5dfsg-6_all.deb
79 MiB
acl2-books-certs_8.6+dfsg-3_all.deb
268 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-5build3_all.deb
23 MiB
acl2-books-source_8.5dfsg-6_all.deb
23 MiB
acl2-books-source_8.6+dfsg-3_all.deb
26 MiB
acl2-books_8.0dfsg-1_amd64.deb
132 MiB
acl2-books_8.2dfsg-3build1_amd64.deb
163 MiB
acl2-books_8.4dfsg-2_amd64.deb
338 MiB
acl2-books_8.5dfsg-5build3_amd64.deb
330 MiB
acl2-books_8.5dfsg-6_amd64.deb
170 MiB
acl2-books_8.6+dfsg-3_amd64.deb
469 MiB
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-5build3_all.deb
474 KiB
acl2-doc_8.5dfsg-6_all.deb
474 KiB
acl2-doc_8.6+dfsg-3_all.deb
516 KiB
acl2-emacs_8.0dfsg-1_all.deb
59 KiB
acl2-emacs_8.2dfsg-3build1_all.deb
59 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-5build3_all.deb
72 KiB
acl2-infix-source_8.5dfsg-6_all.deb
72 KiB
acl2-infix-source_8.6+dfsg-3_all.deb
73 KiB
acl2-infix_8.0dfsg-1_amd64.deb
414 KiB
acl2-infix_8.2dfsg-3build1_amd64.deb
470 KiB
acl2-infix_8.4dfsg-2_amd64.deb
551 KiB
acl2-infix_8.5dfsg-5build3_amd64.deb
538 KiB
acl2-infix_8.5dfsg-6_amd64.deb
533 KiB
acl2-infix_8.6+dfsg-3_amd64.deb
991 KiB
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-5build3_all.deb
3.5 MiB
acl2-source_8.5dfsg-6_all.deb
3.5 MiB
acl2-source_8.6+dfsg-3_all.deb
3.9 MiB
acl2_8.0dfsg-1_amd64.deb
19 MiB
acl2_8.2dfsg-3build1_amd64.deb
21 MiB
acl2_8.4dfsg-2_amd64.deb
25 MiB
acl2_8.5dfsg-5build3_amd64.deb
26 MiB
acl2_8.5dfsg-6.debian.tar.xz
306 KiB
acl2_8.5dfsg-6.dsc
2.2 KiB
acl2_8.5dfsg-6_amd64.deb
25 MiB
acl2_8.5dfsg.orig.tar.gz
213 MiB
acl2_8.6+dfsg-3.debian.tar.xz
694 KiB
acl2_8.6+dfsg-3.dsc
2.2 KiB
acl2_8.6+dfsg-3_amd64.deb
45 MiB
acl2_8.6+dfsg.orig.tar.gz
229 MiB
elpa-acl2_8.4dfsg-2_all.deb
69 KiB
elpa-acl2_8.5dfsg-5build3_all.deb
71 KiB
elpa-acl2_8.5dfsg-6_all.deb
71 KiB
elpa-acl2_8.6+dfsg-3_all.deb
79 KiB