/ubuntu/pool/universe/a/acl2/

0 directories 93 files
Name Size Modified
Go 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_amd64.deb 40 MiB
acl2-books_6.3-5_i386.deb 36 MiB
acl2-books_7.1-1_amd64.deb 19 MiB
acl2-books_7.1-1_i386.deb 18 MiB
acl2-books_8.0dfsg-1_amd64.deb 132 MiB
acl2-books_8.0dfsg-1_i386.deb 114 MiB
acl2-books_8.2dfsg-3build1_amd64.deb 163 MiB
acl2-books_8.4dfsg-2_amd64.deb 338 MiB
acl2-books_8.5dfsg-5_amd64.deb 329 MiB
acl2-books_8.5dfsg-5build3_amd64.deb 330 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_amd64.deb 200 KiB
acl2-infix_6.3-5_i386.deb 189 KiB
acl2-infix_7.1-1_amd64.deb 140 KiB
acl2-infix_7.1-1_i386.deb 142 KiB
acl2-infix_8.0dfsg-1_amd64.deb 414 KiB
acl2-infix_8.0dfsg-1_i386.deb 381 KiB
acl2-infix_8.2dfsg-3build1_amd64.deb 470 KiB
acl2-infix_8.4dfsg-2_amd64.deb 551 KiB
acl2-infix_8.5dfsg-5_amd64.deb 533 KiB
acl2-infix_8.5dfsg-5build3_amd64.deb 538 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_amd64.deb 27 MiB
acl2_6.3-5_i386.deb 23 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_amd64.deb 16 MiB
acl2_7.1-1_i386.deb 16 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_amd64.deb 19 MiB
acl2_8.0dfsg-1_i386.deb 16 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_amd64.deb 21 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_amd64.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_amd64.deb 26 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.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