Index of /Guadalinex/repositorio/pool/main/a/acl2/

../
acl2-books-certs_2.8-1_all.deb                     29-Apr-2004 07:18    288K
acl2-books-source_2.8-1_all.deb                    29-Apr-2004 07:18      1M
acl2-books_2.8-1_i386.deb                          29-Apr-2004 07:18    873K
acl2-doc_2.7-7_all.deb                             10-Dec-2002 22:47      1M
acl2-doc_2.7-9_all.deb                             17-Mar-2004 11:07      2M
acl2-doc_2.8-1_all.deb                             29-Apr-2004 07:18      2M
acl2-emacs_2.8-1_all.deb                           29-Apr-2004 07:18     59K
acl2-infix-source_2.8-1_all.deb                    29-Apr-2004 07:18     82K
acl2-infix_2.8-1_i386.deb                          29-Apr-2004 07:18    177K
acl2-source_2.8-1_all.deb                          29-Apr-2004 07:18      2M
acl2_2.7-7_i386.deb                                10-Dec-2002 22:47      9M
acl2_2.7-9_i386.deb                                17-Mar-2004 11:07     10M
acl2_2.8-1.diff.gz                                 13-May-2004 12:20     12K
acl2_2.8-1.dsc                                     13-May-2004 12:20     832
acl2_2.8-1_i386.deb                                29-Apr-2004 07:18     13M
acl2_2.8.orig.tar.gz                               13-May-2004 12:20      5M