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