Folder Path

/pub/mirror/archive.ubuntu.com/ubuntu/pool/universe/a/acl2/

0 directories 29 files 2.0 GiB total
List Grid
Name
Size Modified
Up
acl2-books-certs_8.5dfsg-5_all.deb
216 MiB
acl2-books-certs_8.5dfsg-5build3_all.deb
216 MiB
acl2-books-certs_8.6+dfsg-3build1_all.deb
267 MiB
acl2-books-source_8.5dfsg-5_all.deb
23 MiB
acl2-books-source_8.5dfsg-5build3_all.deb
23 MiB
acl2-books-source_8.6+dfsg-3build1_all.deb
26 MiB
acl2-books_8.5dfsg-5_amd64.deb
329 MiB
acl2-books_8.5dfsg-5build3_amd64.deb
330 MiB
acl2-books_8.6+dfsg-3build1_amd64.deb
467 MiB
acl2-doc_8.5dfsg-5_all.deb
473 KiB
acl2-doc_8.5dfsg-5build3_all.deb
474 KiB
acl2-doc_8.6+dfsg-3build1_all.deb
516 KiB
acl2-infix-source_8.5dfsg-5_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-3build1_all.deb
73 KiB
acl2-infix_8.5dfsg-5_amd64.deb
533 KiB
acl2-infix_8.5dfsg-5build3_amd64.deb
538 KiB
acl2-infix_8.5dfsg-6_amd64.deb
533 KiB
acl2-infix_8.6+dfsg-3build1_amd64.deb
976 KiB
acl2-source_8.5dfsg-5_all.deb
3.5 MiB
acl2-source_8.5dfsg-5build3_all.deb
3.5 MiB
acl2-source_8.6+dfsg-3build1_all.deb
3.9 MiB
acl2_8.5dfsg-5_amd64.deb
26 MiB
acl2_8.5dfsg-5build3_amd64.deb
26 MiB
acl2_8.6+dfsg-3build1_amd64.deb
47 MiB
elpa-acl2_8.5dfsg-5_all.deb
70 KiB
elpa-acl2_8.5dfsg-5build3_all.deb
71 KiB
elpa-acl2_8.6+dfsg-3build1_all.deb
79 KiB