/raspbian/raspbian/pool/main/a/acl2/

0 directories 44 files
Name Size Modified
Go up — —
acl2-books-certs_8.0dfsg-1_all.deb 70 MiB
acl2-books-certs_8.3dfsg-1_all.deb 13 KiB
acl2-books-certs_8.3dfsg-2_all.deb 139 MiB
acl2-books-certs_8.5dfsg-5_all.deb 170 MiB
acl2-books-source_8.0dfsg-1_all.deb 12 MiB
acl2-books-source_8.3dfsg-1_all.deb 19 MiB
acl2-books-source_8.3dfsg-2_all.deb 19 MiB
acl2-books-source_8.5dfsg-5_all.deb 24 MiB
acl2-books_8.0dfsg-1_armhf.deb 128 MiB
acl2-books_8.3dfsg-1_armhf.deb 13 KiB
acl2-books_8.5dfsg-5_armhf.deb 266 MiB
acl2-doc_8.0dfsg-1_all.deb 392 KiB
acl2-doc_8.3dfsg-1_all.deb 437 KiB
acl2-doc_8.3dfsg-2_all.deb 437 KiB
acl2-doc_8.5dfsg-5_all.deb 470 KiB
acl2-emacs_8.0dfsg-1_all.deb 66 KiB
acl2-emacs_8.3dfsg-1_all.deb 68 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-1_all.deb 78 KiB
acl2-infix-source_8.3dfsg-2_all.deb 78 KiB
acl2-infix-source_8.5dfsg-5_all.deb 71 KiB
acl2-infix_8.0dfsg-1_armhf.deb 432 KiB
acl2-infix_8.3dfsg-1_armhf.deb 432 KiB
acl2-infix_8.5dfsg-5_armhf.deb 457 KiB
acl2-source_8.0dfsg-1_all.deb 2.9 MiB
acl2-source_8.3dfsg-1_all.deb 3.2 MiB
acl2-source_8.3dfsg-2_all.deb 3.2 MiB
acl2-source_8.5dfsg-5_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_armhf.deb 16 MiB
acl2_8.0dfsg.orig.tar.gz 74 MiB
acl2_8.3dfsg-1.debian.tar.xz 201 KiB
acl2_8.3dfsg-1.dsc 2.2 KiB
acl2_8.3dfsg-1_armhf.deb 17 MiB
acl2_8.3dfsg-2.debian.tar.xz 223 KiB
acl2_8.3dfsg-2.dsc 2.2 KiB
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_armhf.deb 18 MiB
acl2_8.5dfsg.orig.tar.gz 213 MiB
elpa-acl2_8.5dfsg-5_all.deb 69 KiB