Index of /repo_desktop_1.0/pool/Universe/a/acl2/

../
acl2-books-certs_6.0-2_all.deb                     26-Dec-2014 20:36             5188120
acl2-books-source_6.0-2_all.deb                    26-Dec-2014 20:36             7818444
acl2-books_6.0-2_i386.deb                          26-Dec-2014 20:36            16415586
acl2-doc_6.0-2_all.deb                             26-Dec-2014 20:36             7596304
acl2-emacs_6.0-2_all.deb                           26-Dec-2014 20:36               55346
acl2-infix-source_6.0-2_all.deb                    26-Dec-2014 20:36               88932
acl2-infix_6.0-2_i386.deb                          26-Dec-2014 20:36              177780
acl2-source_6.0-2_all.deb                          26-Dec-2014 20:36             3701254
acl2_6.0-2.debian.tar.gz                           26-Dec-2014 20:36              159054
acl2_6.0-2.dsc                                     26-Dec-2014 20:36                1741
acl2_6.0-2_i386.deb                                26-Dec-2014 20:36            27043242
acl2_6.0.orig-books.tar.gz                         26-Dec-2014 20:36            10961166
acl2_6.0.orig.tar.gz                               26-Dec-2014 20:36             6774056