Index of /pool/main/a/acl2/
../
acl2-books-certs_8.0dfsg-1_all.deb 13-Jan-2018 21:52 70M
acl2-books-source_8.0dfsg-1_all.deb 13-Jan-2018 21:52 12M
acl2-books_8.0dfsg-1_amd64.deb 13-Jan-2018 21:52 132M
acl2-books_8.0dfsg-1_arm64.deb 14-Jan-2018 10:47 135M
acl2-books_8.0dfsg-1_i386.deb 14-Jan-2018 05:26 111M
acl2-books_8.0dfsg-1_mips64el.deb 16-Jan-2018 11:44 140M
acl2-doc_8.0dfsg-1_all.deb 13-Jan-2018 21:52 392K
acl2-emacs_8.0dfsg-1_all.deb 13-Jan-2018 21:52 66K
acl2-infix-source_8.0dfsg-1_all.deb 13-Jan-2018 21:52 77K
acl2-infix_8.0dfsg-1_amd64.deb 13-Jan-2018 21:52 422K
acl2-infix_8.0dfsg-1_arm64.deb 14-Jan-2018 10:47 432K
acl2-infix_8.0dfsg-1_i386.deb 14-Jan-2018 05:26 390K
acl2-infix_8.0dfsg-1_mips64el.deb 16-Jan-2018 11:44 440K
acl2-source_8.0dfsg-1_all.deb 13-Jan-2018 21:52 3M
acl2_8.0dfsg-1.debian.tar.xz 13-Jan-2018 21:52 200K
acl2_8.0dfsg-1.dsc 13-Jan-2018 21:52 2245
acl2_8.0dfsg-1_amd64.deb 13-Jan-2018 21:52 19M
acl2_8.0dfsg-1_arm64.deb 14-Jan-2018 10:47 17M
acl2_8.0dfsg-1_i386.deb 14-Jan-2018 05:26 16M
acl2_8.0dfsg-1_mips64el.deb 16-Jan-2018 11:44 16M
acl2_8.0dfsg.orig.tar.gz 13-Jan-2018 21:52 74M