Folder Path

/ubuntu/pool/universe/a/acl2/

0 directories 55 files 3.5 GiB total
List Grid
Name
Size Modified
Up
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-certs_8.6+dfsg-3build1_all.deb
267 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-source_8.6+dfsg-3build1_all.deb
26 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-books_8.6+dfsg-3build1_amd64.deb
467 MiB
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-doc_8.6+dfsg-3build1_all.deb
516 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-source_8.6+dfsg-3build1_all.deb
73 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-infix_8.6+dfsg-3build1_amd64.deb
976 KiB
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-source_8.6+dfsg-3build1_all.deb
3.9 MiB
acl2_8.4dfsg-2_amd64.deb
25 MiB
acl2_8.5dfsg-5build3.debian.tar.xz
306 KiB
acl2_8.5dfsg-5build3.dsc
2.3 KiB
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-3build1.debian.tar.xz
694 KiB
acl2_8.6+dfsg-3build1.dsc
2.3 KiB
acl2_8.6+dfsg-3build1_amd64.deb
47 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
elpa-acl2_8.6+dfsg-3build1_all.deb
79 KiB