/debian/pool/main/a/acl2/

0 directories 59 files
Name Size Modified
Go up — —
acl2-books-certs_8.0dfsg-1_all.deb 70 MiB
acl2-books-certs_8.3dfsg-2_all.deb 139 MiB
acl2-books-certs_8.5dfsg-5_all.deb 170 MiB
acl2-books-certs_8.5dfsg-6_all.deb 64 MiB
acl2-books-source_8.0dfsg-1_all.deb 12 MiB
acl2-books-source_8.3dfsg-2_all.deb 19 MiB
acl2-books-source_8.5dfsg-5_all.deb 24 MiB
acl2-books-source_8.5dfsg-6_all.deb 24 MiB
acl2-books_8.0dfsg-1_amd64.deb 132 MiB
acl2-books_8.0dfsg-1_i386.deb 111 MiB
acl2-books_8.3dfsg-2_amd64.deb 241 MiB
acl2-books_8.3dfsg-2_i386.deb 204 MiB
acl2-books_8.5dfsg-5_amd64.deb 287 MiB
acl2-books_8.5dfsg-5_i386.deb 248 MiB
acl2-books_8.5dfsg-6_amd64.deb 151 MiB
acl2-books_8.5dfsg-6_i386.deb 133 MiB
acl2-doc_8.0dfsg-1_all.deb 392 KiB
acl2-doc_8.3dfsg-2_all.deb 437 KiB
acl2-doc_8.5dfsg-5_all.deb 470 KiB
acl2-doc_8.5dfsg-6_all.deb 470 KiB
acl2-emacs_8.0dfsg-1_all.deb 66 KiB
acl2-emacs_8.3dfsg-2_all.deb 68 KiB
acl2-infix-source_8.0dfsg-1_all.deb 77 KiB
acl2-infix-source_8.3dfsg-2_all.deb 78 KiB
acl2-infix-source_8.5dfsg-5_all.deb 71 KiB
acl2-infix-source_8.5dfsg-6_all.deb 71 KiB
acl2-infix_8.0dfsg-1_amd64.deb 422 KiB
acl2-infix_8.0dfsg-1_i386.deb 390 KiB
acl2-infix_8.3dfsg-2_amd64.deb 479 KiB
acl2-infix_8.3dfsg-2_i386.deb 485 KiB
acl2-infix_8.5dfsg-5_amd64.deb 464 KiB
acl2-infix_8.5dfsg-5_i386.deb 478 KiB
acl2-infix_8.5dfsg-6_amd64.deb 465 KiB
acl2-infix_8.5dfsg-6_i386.deb 475 KiB
acl2-source_8.0dfsg-1_all.deb 2.9 MiB
acl2-source_8.3dfsg-2_all.deb 3.2 MiB
acl2-source_8.5dfsg-5_all.deb 3.4 MiB
acl2-source_8.5dfsg-6_all.deb 3.4 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.3dfsg-2.debian.tar.xz 223 KiB
acl2_8.3dfsg-2.dsc 2.2 KiB
acl2_8.3dfsg-2_amd64.deb 20 MiB
acl2_8.3dfsg-2_i386.deb 19 MiB
acl2_8.3dfsg.orig.tar.gz 112 MiB
acl2_8.5dfsg-5.debian.tar.xz 306 KiB
acl2_8.5dfsg-5.dsc 2.2 KiB
acl2_8.5dfsg-5_amd64.deb 22 MiB
acl2_8.5dfsg-5_i386.deb 19 MiB
acl2_8.5dfsg-6.debian.tar.xz 306 KiB
acl2_8.5dfsg-6.dsc 2.2 KiB
acl2_8.5dfsg-6_amd64.deb 22 MiB
acl2_8.5dfsg-6_i386.deb 19 MiB
acl2_8.5dfsg.orig.tar.gz 213 MiB
elpa-acl2_8.5dfsg-5_all.deb 69 KiB
elpa-acl2_8.5dfsg-6_all.deb 69 KiB