Index of /professional/pool/main/a/acl2/

../
acl2-books-certs_7.1dfsg-2_all.deb                 29-Oct-2015 06:05            13225934
acl2-books-certs_7.2dfsg-3_all.deb                 17-Oct-2016 22:35            54799678
acl2-books-source_7.1dfsg-2_all.deb                29-Oct-2015 06:05             9605454
acl2-books-source_7.2dfsg-3_all.deb                17-Oct-2016 22:35            10864188
acl2-books_7.1dfsg-2_amd64.deb                     29-Oct-2015 06:05            67032094
acl2-books_7.1dfsg-2_i386.deb                      29-Oct-2015 09:01            57869548
acl2-books_7.2dfsg-3_amd64.deb                     17-Oct-2016 22:35           108111876
acl2-books_7.2dfsg-3_i386.deb                      18-Oct-2016 07:35            90445906
acl2-doc_7.1dfsg-2_all.deb                         29-Oct-2015 06:05              367272
acl2-doc_7.2dfsg-3_all.deb                         17-Oct-2016 22:35              381186
acl2-emacs_7.1dfsg-2_all.deb                       29-Oct-2015 06:05               63384
acl2-emacs_7.2dfsg-3_all.deb                       17-Oct-2016 22:35               64070
acl2-infix-source_7.1dfsg-2_all.deb                29-Oct-2015 06:05               78742
acl2-infix-source_7.2dfsg-3_all.deb                17-Oct-2016 22:35               78840
acl2-infix_7.1dfsg-2_amd64.deb                     29-Oct-2015 06:05              408836
acl2-infix_7.1dfsg-2_i386.deb                      29-Oct-2015 09:01              384706
acl2-infix_7.2dfsg-3_amd64.deb                     17-Oct-2016 22:35              419740
acl2-infix_7.2dfsg-3_i386.deb                      18-Oct-2016 07:35              390180
acl2-source_7.1dfsg-2_all.deb                      29-Oct-2015 06:05             2851262
acl2-source_7.2dfsg-3_all.deb                      17-Oct-2016 22:35             2886204
acl2_7.1dfsg-2.debian.tar.xz                       29-Oct-2015 06:05              203600
acl2_7.1dfsg-2.dsc                                 29-Oct-2015 06:05                2231
acl2_7.1dfsg-2_amd64.deb                           29-Oct-2015 06:05            17193626
acl2_7.1dfsg-2_i386.deb                            29-Oct-2015 09:01            15182552
acl2_7.1dfsg.orig.tar.gz                           21-Oct-2015 23:52            38379756
acl2_7.2dfsg-3.debian.tar.xz                       17-Oct-2016 22:35              204172
acl2_7.2dfsg-3.dsc                                 17-Oct-2016 22:35                2231
acl2_7.2dfsg-3_amd64.deb                           17-Oct-2016 22:35            18128940
acl2_7.2dfsg-3_i386.deb                            18-Oct-2016 07:35            15612446
acl2_7.2dfsg.orig.tar.gz                           14-Apr-2016 21:54            64411749