Index of /debian-archive/pool/main/a/acl2/

../
acl2-books-certs_4.3-3_all.deb                     20-Apr-2012 19:38             4426578
acl2-books-certs_6.5-2_all.deb                     08-Sep-2014 14:35             6499338
acl2-books-certs_6.5-2~bpo70+1_all.deb             14-Jan-2015 16:26            19595980
acl2-books-certs_7.2dfsg-3_all.deb                 17-Oct-2016 14:35            54799678
acl2-books-source_4.3-3_all.deb                    20-Apr-2012 19:38             6462160
acl2-books-source_6.5-2_all.deb                    08-Sep-2014 14:35             6956870
acl2-books-source_6.5-2~bpo70+1_all.deb            14-Jan-2015 16:26            10741494
acl2-books-source_7.2dfsg-3_all.deb                17-Oct-2016 14:35            10864188
acl2-books_4.3-3_amd64.deb                         21-Apr-2012 00:02            15944036
acl2-books_6.5-2_amd64.deb                         08-Sep-2014 14:35            23132372
acl2-books_6.5-2_i386.deb                          08-Sep-2014 21:44            21804958
acl2-books_6.5-2~bpo70+1_amd64.deb                 14-Jan-2015 16:26            49693770
acl2-books_7.2dfsg-3_amd64.deb                     17-Oct-2016 14:35           108111876
acl2-books_7.2dfsg-3_i386.deb                      17-Oct-2016 23:35            90445906
acl2-doc_4.3-3_all.deb                             20-Apr-2012 19:38              362274
acl2-doc_6.5-2_all.deb                             08-Sep-2014 14:35             1671882
acl2-doc_6.5-2~bpo70+1_all.deb                     14-Jan-2015 16:26             2291762
acl2-doc_7.2dfsg-3_all.deb                         17-Oct-2016 14:35              381186
acl2-emacs_4.3-3_all.deb                           20-Apr-2012 19:38               60860
acl2-emacs_6.5-2_all.deb                           08-Sep-2014 14:35               60874
acl2-emacs_6.5-2~bpo70+1_all.deb                   14-Jan-2015 16:26               72934
acl2-emacs_7.2dfsg-3_all.deb                       17-Oct-2016 14:35               64070
acl2-infix-source_4.3-3_all.deb                    20-Apr-2012 19:38               91494
acl2-infix-source_6.5-2_all.deb                    08-Sep-2014 14:35               79456
acl2-infix-source_6.5-2~bpo70+1_all.deb            14-Jan-2015 16:26               92182
acl2-infix-source_7.2dfsg-3_all.deb                17-Oct-2016 14:35               78840
acl2-infix_4.3-3_amd64.deb                         21-Apr-2012 00:02              203674
acl2-infix_6.5-2_amd64.deb                         08-Sep-2014 14:35              150020
acl2-infix_6.5-2_i386.deb                          08-Sep-2014 21:44              151576
acl2-infix_6.5-2~bpo70+1_amd64.deb                 14-Jan-2015 16:26              224544
acl2-infix_7.2dfsg-3_amd64.deb                     17-Oct-2016 14:35              419740
acl2-infix_7.2dfsg-3_i386.deb                      17-Oct-2016 23:35              390180
acl2-source_4.3-3_all.deb                          20-Apr-2012 19:38             3289530
acl2-source_6.5-2_all.deb                          08-Sep-2014 14:35             2764672
acl2-source_6.5-2~bpo70+1_all.deb                  14-Jan-2015 16:26             3867396
acl2-source_7.2dfsg-3_all.deb                      17-Oct-2016 14:35             2886204
acl2_4.3-3_amd64.deb                               21-Apr-2012 00:02            28317704
acl2_6.5-2_amd64.deb                               08-Sep-2014 14:35            16320288
acl2_6.5-2_i386.deb                                08-Sep-2014 21:44            14001878
acl2_6.5-2~bpo70+1_amd64.deb                       14-Jan-2015 16:26            25023850
acl2_7.2dfsg-3_amd64.deb                           17-Oct-2016 14:35            18128940
acl2_7.2dfsg-3_i386.deb                            17-Oct-2016 23:35            15612446