Index of /repos/pool/main/a/acl2/
../
acl2-books-certs_8.0dfsg-1_all.deb 22-Jan-2026 17:22 70M
acl2-books-certs_8.3dfsg-2_all.deb 21-Jan-2026 10:34 139M
acl2-books-certs_8.5dfsg-5_all.deb 20-Jan-2026 00:17 170M
acl2-books-certs_8.6+dfsg-2_all.deb 18-Jan-2026 06:10 211M
acl2-books-source_8.0dfsg-1_all.deb 22-Jan-2026 17:22 12M
acl2-books-source_8.3dfsg-2_all.deb 21-Jan-2026 10:35 19M
acl2-books-source_8.5dfsg-5_all.deb 20-Jan-2026 00:17 24M
acl2-books-source_8.6+dfsg-2_all.deb 18-Jan-2026 06:10 26M
acl2-books_8.0dfsg-1_amd64.deb 22-Jan-2026 17:22 132M
acl2-books_8.0dfsg-1_i386.deb 22-Jan-2026 17:22 111M
acl2-books_8.3dfsg-2_amd64.deb 21-Jan-2026 10:32 241M
acl2-books_8.3dfsg-2_i386.deb 21-Jan-2026 10:33 204M
acl2-books_8.5dfsg-5_amd64.deb 20-Jan-2026 00:14 287M
acl2-books_8.5dfsg-5_i386.deb 20-Jan-2026 00:16 248M
acl2-books_8.6+dfsg-2_amd64.deb 18-Jan-2026 06:06 416M
acl2-books_8.6+dfsg-2_i386.deb 18-Jan-2026 06:08 344M
acl2-doc_8.0dfsg-1_all.deb 22-Jan-2026 17:22 392K
acl2-doc_8.3dfsg-2_all.deb 21-Jan-2026 10:35 437K
acl2-doc_8.5dfsg-5_all.deb 20-Jan-2026 00:17 470K
acl2-doc_8.6+dfsg-2_all.deb 18-Jan-2026 06:10 513K
acl2-emacs_8.0dfsg-1_all.deb 22-Jan-2026 17:22 66K
acl2-emacs_8.3dfsg-2_all.deb 21-Jan-2026 10:35 68K
acl2-infix-source_8.0dfsg-1_all.deb 22-Jan-2026 17:22 77K
acl2-infix-source_8.3dfsg-2_all.deb 21-Jan-2026 10:35 78K
acl2-infix-source_8.5dfsg-5_all.deb 20-Jan-2026 00:17 71K
acl2-infix-source_8.6+dfsg-2_all.deb 18-Jan-2026 06:10 71K
acl2-infix_8.0dfsg-1_amd64.deb 22-Jan-2026 17:22 422K
acl2-infix_8.0dfsg-1_i386.deb 22-Jan-2026 17:22 390K
acl2-infix_8.3dfsg-2_amd64.deb 21-Jan-2026 10:35 479K
acl2-infix_8.3dfsg-2_i386.deb 21-Jan-2026 10:35 485K
acl2-infix_8.5dfsg-5_amd64.deb 20-Jan-2026 00:17 464K
acl2-infix_8.5dfsg-5_i386.deb 20-Jan-2026 00:17 477K
acl2-infix_8.6+dfsg-2_amd64.deb 18-Jan-2026 06:10 866K
acl2-infix_8.6+dfsg-2_i386.deb 18-Jan-2026 06:10 852K
acl2-source_8.0dfsg-1_all.deb 22-Jan-2026 17:22 3M
acl2-source_8.3dfsg-2_all.deb 21-Jan-2026 10:35 3M
acl2-source_8.5dfsg-5_all.deb 20-Jan-2026 00:17 3M
acl2-source_8.6+dfsg-2_all.deb 18-Jan-2026 06:10 4M
acl2_8.0dfsg-1.debian.tar.xz 22-Jan-2026 17:21 200K
acl2_8.0dfsg-1.dsc 22-Jan-2026 17:21 2245
acl2_8.0dfsg-1_amd64.deb 22-Jan-2026 17:21 19M
acl2_8.0dfsg-1_i386.deb 22-Jan-2026 17:21 16M
acl2_8.0dfsg.orig.tar.gz 22-Jan-2026 17:21 74M
acl2_8.3dfsg-2.debian.tar.xz 21-Jan-2026 10:29 223K
acl2_8.3dfsg-2.dsc 21-Jan-2026 10:29 2275
acl2_8.3dfsg-2_amd64.deb 21-Jan-2026 10:29 20M
acl2_8.3dfsg-2_i386.deb 21-Jan-2026 10:29 19M
acl2_8.3dfsg.orig.tar.gz 21-Jan-2026 10:30 112M
acl2_8.5dfsg-5.debian.tar.xz 20-Jan-2026 00:11 306K
acl2_8.5dfsg-5.dsc 20-Jan-2026 00:11 2268
acl2_8.5dfsg-5_amd64.deb 20-Jan-2026 00:11 22M
acl2_8.5dfsg-5_i386.deb 20-Jan-2026 00:11 19M
acl2_8.5dfsg.orig.tar.gz 20-Jan-2026 00:12 213M
acl2_8.6+dfsg-2.debian.tar.xz 18-Jan-2026 06:01 435K
acl2_8.6+dfsg-2.dsc 18-Jan-2026 06:01 2286
acl2_8.6+dfsg-2_amd64.deb 18-Jan-2026 06:01 35M
acl2_8.6+dfsg-2_i386.deb 18-Jan-2026 06:01 39M
acl2_8.6+dfsg.orig.tar.gz 18-Jan-2026 06:03 229M
elpa-acl2_8.5dfsg-5_all.deb 20-Jan-2026 03:19 69K
elpa-acl2_8.6+dfsg-2_all.deb 18-Jan-2026 10:44 76K