Index of /mirrors/Linux/Guadalinex/mirror/debian/pool/main/a/acl2/

../
acl2-books-certs_2.8-4_all.deb                     31-May-2004 20:47    288K
acl2-books-certs_2.8-5_all.deb                     17-Sep-2004 16:02    288K
acl2-books-source_2.8-4_all.deb                    31-May-2004 20:47      1M
acl2-books-source_2.8-5_all.deb                    17-Sep-2004 16:02      1M
acl2-books_2.8-4_i386.deb                          31-May-2004 20:47    874K
acl2-books_2.8-5_i386.deb                          17-Sep-2004 16:02    874K
acl2-doc_2.8-4_all.deb                             31-May-2004 20:47      2M
acl2-doc_2.8-5_all.deb                             17-Sep-2004 16:02      2M
acl2-emacs_2.8-4_all.deb                           31-May-2004 20:47     63K
acl2-emacs_2.8-5_all.deb                           17-Sep-2004 16:02     63K
acl2-infix-source_2.8-4_all.deb                    31-May-2004 20:47     82K
acl2-infix-source_2.8-5_all.deb                    17-Sep-2004 16:02     82K
acl2-infix_2.8-4_i386.deb                          31-May-2004 20:47    177K
acl2-infix_2.8-5_i386.deb                          17-Sep-2004 16:02    177K
acl2-source_2.8-4_all.deb                          31-May-2004 20:47      2M
acl2-source_2.8-5_all.deb                          17-Sep-2004 16:02      2M
acl2_2.8-4.diff.gz                                 31-May-2004 20:47     12K
acl2_2.8-4.dsc                                     31-May-2004 20:47     795
acl2_2.8-4_i386.deb                                31-May-2004 20:47     13M
acl2_2.8-5.diff.gz                                 17-Sep-2004 16:02     12K
acl2_2.8-5.dsc                                     17-Sep-2004 16:02     794
acl2_2.8-5_i386.deb                                17-Sep-2004 16:02     13M
acl2_2.8.orig.tar.gz                               22-Apr-2004 18:32      5M