Index of /professional/pool/main/a/acl2/
../
acl2-books-certs_7.1dfsg-2_all.deb 29-Oct-2015 06:05 13M
acl2-books-certs_7.2dfsg-3_all.deb 17-Oct-2016 22:35 52M
acl2-books-source_7.1dfsg-2_all.deb 29-Oct-2015 06:05 9M
acl2-books-source_7.2dfsg-3_all.deb 17-Oct-2016 22:35 10M
acl2-books_7.1dfsg-2_amd64.deb 29-Oct-2015 06:05 64M
acl2-books_7.1dfsg-2_i386.deb 29-Oct-2015 09:01 55M
acl2-books_7.2dfsg-3_amd64.deb 17-Oct-2016 22:35 103M
acl2-books_7.2dfsg-3_i386.deb 18-Oct-2016 07:35 86M
acl2-doc_7.1dfsg-2_all.deb 29-Oct-2015 06:05 359K
acl2-doc_7.2dfsg-3_all.deb 17-Oct-2016 22:35 372K
acl2-emacs_7.1dfsg-2_all.deb 29-Oct-2015 06:05 62K
acl2-emacs_7.2dfsg-3_all.deb 17-Oct-2016 22:35 63K
acl2-infix-source_7.1dfsg-2_all.deb 29-Oct-2015 06:05 77K
acl2-infix-source_7.2dfsg-3_all.deb 17-Oct-2016 22:35 77K
acl2-infix_7.1dfsg-2_amd64.deb 29-Oct-2015 06:05 399K
acl2-infix_7.1dfsg-2_i386.deb 29-Oct-2015 09:01 376K
acl2-infix_7.2dfsg-3_amd64.deb 17-Oct-2016 22:35 410K
acl2-infix_7.2dfsg-3_i386.deb 18-Oct-2016 07:35 381K
acl2-source_7.1dfsg-2_all.deb 29-Oct-2015 06:05 3M
acl2-source_7.2dfsg-3_all.deb 17-Oct-2016 22:35 3M
acl2_7.1dfsg-2.debian.tar.xz 29-Oct-2015 06:05 199K
acl2_7.1dfsg-2.dsc 29-Oct-2015 06:05 2231
acl2_7.1dfsg-2_amd64.deb 29-Oct-2015 06:05 16M
acl2_7.1dfsg-2_i386.deb 29-Oct-2015 09:01 14M
acl2_7.1dfsg.orig.tar.gz 21-Oct-2015 23:52 37M
acl2_7.2dfsg-3.debian.tar.xz 17-Oct-2016 22:35 199K
acl2_7.2dfsg-3.dsc 17-Oct-2016 22:35 2231
acl2_7.2dfsg-3_amd64.deb 17-Oct-2016 22:35 17M
acl2_7.2dfsg-3_i386.deb 18-Oct-2016 07:35 15M
acl2_7.2dfsg.orig.tar.gz 14-Apr-2016 21:54 61M