Index of /mirror/GuadaLinex/guadalinex/pool/main/a/acl2
Name Last modified Size Description
![[PARENTDIR]](/strapdown/icons/glyphicon-circle-arrow-up.svg)
Parent Directory -
![[ ]](/strapdown/icons/glyphicon-file.svg)
acl2-books-certs_2.8-1_all.deb 2004-04-29 09:18 288K
acl2-books-source_2.8-1_all.deb 2004-04-29 09:18 1.2M
acl2-books_2.8-1_i386.deb 2004-04-29 09:18 873K
acl2-doc_2.7-7_all.deb 2002-12-10 23:47 1.4M
acl2-doc_2.7-9_all.deb 2004-03-17 12:07 1.5M
acl2-doc_2.8-1_all.deb 2004-04-29 09:18 1.6M
acl2-emacs_2.8-1_all.deb 2004-04-29 09:18 59K
acl2-infix-source_2.8-1_all.deb 2004-04-29 09:18 82K
acl2-infix_2.8-1_i386.deb 2004-04-29 09:18 177K
acl2-source_2.8-1_all.deb 2004-04-29 09:18 1.9M
acl2_2.7-7_i386.deb 2002-12-10 23:47 9.2M
acl2_2.7-9_i386.deb 2004-03-17 12:07 9.6M
![[ ]](/icons/compressed.gif)
acl2_2.8-1.diff.gz 2004-05-13 14:20 12K
acl2_2.8-1.dsc 2004-05-13 14:20 832
acl2_2.8-1_i386.deb 2004-04-29 09:18 13M
acl2_2.8.orig.tar.gz 2004-05-13 14:20 4.9M