Index of /201407250529/raspbian/pool/main/a/acl2/


../
acl2-books-certs_4.3-3_all.deb                     20-Apr-2012 19:38             4426578
acl2-books-certs_6.3-6_all.deb                     16-Nov-2013 23:05             3624394
acl2-books-certs_6.4-4_all.deb                     18-May-2014 03:36             4268268
acl2-books-source_4.3-3_all.deb                    20-Apr-2012 19:38             6462160
acl2-books-source_6.3-6_all.deb                    16-Nov-2013 23:05             5431616
acl2-books-source_6.4-4_all.deb                    18-May-2014 03:36             6499876
acl2-books_4.3-3_armhf.deb                         09-May-2012 20:54            36839860
acl2-books_6.3-6_armhf.deb                         30-Nov-2013 10:34           108129914
acl2-doc_4.3-3_all.deb                             20-Apr-2012 19:38              362274
acl2-doc_6.3-6_all.deb                             16-Nov-2013 23:05            12093096
acl2-doc_6.4-4_all.deb                             18-May-2014 03:36             1639474
acl2-emacs_4.3-3_all.deb                           20-Apr-2012 19:38               60860
acl2-emacs_6.3-6_all.deb                           16-Nov-2013 23:05               52802
acl2-emacs_6.4-4_all.deb                           18-May-2014 03:36               59886
acl2-infix-source_4.3-3_all.deb                    20-Apr-2012 19:38               91494
acl2-infix-source_6.3-6_all.deb                    16-Nov-2013 23:05               77592
acl2-infix-source_6.4-4_all.deb                    18-May-2014 03:36               78170
acl2-infix_4.3-3_armhf.deb                         09-May-2012 20:54              365754
acl2-infix_6.3-6_armhf.deb                         30-Nov-2013 10:34              553056
acl2-source_4.3-3_all.deb                          20-Apr-2012 19:38             3289530
acl2-source_6.3-6_all.deb                          16-Nov-2013 23:05             2740628
acl2-source_6.4-4_all.deb                          18-May-2014 03:36             2730890
acl2_4.3-3.debian.tar.gz                           20-Apr-2012 19:38               18297
acl2_4.3-3.dsc                                     20-Apr-2012 19:38                1491
acl2_4.3-3_armhf.deb                               09-May-2012 20:54            24519584
acl2_4.3.orig.tar.gz                               18-Apr-2012 23:31            15251431
acl2_6.3-6.debian.tar.gz                           16-Nov-2013 23:05              161447
acl2_6.3-6.dsc                                     16-Nov-2013 23:05                1749
acl2_6.3-6_armhf.deb                               30-Nov-2013 10:34            24690112
acl2_6.3.orig-books.tar.gz                         04-Oct-2013 12:59            13598991
acl2_6.3.orig.tar.gz                               04-Oct-2013 12:59             7068895
acl2_6.4-4.debian.tar.xz                           18-May-2014 03:36              126732
acl2_6.4-4.dsc                                     18-May-2014 03:36                1814
acl2_6.4.orig-books.tar.gz                         02-May-2014 12:54            14170540
acl2_6.4.orig.tar.gz                               02-May-2014 12:54             6109095