Index of /gnewsense-three/gnewsense/pool/main/a/acl2
Name Last modified Size Description
Parent Directory -
acl2_4.0-3.dsc 2010-07-09 18:02 1.1K
acl2_4.3-3.dsc 2012-04-20 20:38 1.5K
acl2_4.0-3.diff.gz 2010-07-09 18:02 16K
acl2_4.3-3.debian.tar.gz 2012-04-20 20:38 18K
acl2-emacs_4.0-3_all.deb 2010-07-09 18:02 57K
acl2-emacs_4.3-3_all.deb 2012-04-20 20:38 59K
acl2-infix-source_4.0-3_all.deb 2010-07-09 18:02 87K
acl2-infix-source_4.3-3_all.deb 2012-04-20 20:38 89K
acl2-infix_4.3-3_i386.deb 2012-04-20 20:38 180K
acl2-infix_4.0-3_mipsel.deb 2010-07-19 16:47 187K
acl2-infix_4.3-3_amd64.deb 2012-04-21 01:02 199K
acl2-infix_4.3-3_mipsel.deb 2012-04-26 22:49 214K
acl2-doc_4.3-3_all.deb 2012-04-20 20:38 354K
acl2-infix_4.0-3_i386.deb 2010-07-09 18:02 381K
acl2-infix_4.0-3_amd64.deb 2010-07-09 22:32 420K
acl2-books-certs_4.0-3_all.deb 2010-07-09 18:02 1.9M
acl2-doc_4.0-3_all.deb 2010-07-09 18:02 2.7M
acl2-source_4.0-3_all.deb 2010-07-09 18:02 2.9M
acl2-source_4.3-3_all.deb 2012-04-20 20:38 3.1M
acl2-books-certs_4.3-3_all.deb 2012-04-20 20:38 4.2M
acl2-books-source_4.0-3_all.deb 2010-07-09 18:02 5.0M
acl2-books-source_4.3-3_all.deb 2012-04-20 20:38 6.2M
acl2_4.0.orig.tar.gz 2010-07-08 05:47 11M
acl2-books_4.0-3_mipsel.deb 2010-07-19 16:47 13M
acl2-books_4.3-3_i386.deb 2012-04-20 20:38 13M
acl2_4.3.orig.tar.gz 2012-01-11 19:47 15M
acl2-books_4.3-3_amd64.deb 2012-04-21 01:02 15M
acl2-books_4.3-3_mipsel.deb 2012-04-26 22:49 15M
acl2_4.0-3_mipsel.deb 2010-07-19 16:47 21M
acl2_4.0-3_i386.deb 2010-07-09 18:02 21M
acl2_4.3-3_mipsel.deb 2012-04-26 22:49 23M
acl2_4.3-3_i386.deb 2012-04-20 20:38 23M
acl2_4.0-3_amd64.deb 2010-07-09 22:32 25M
acl2_4.3-3_amd64.deb 2012-04-21 01:02 27M
acl2-books_4.0-3_i386.deb 2010-07-09 18:02 32M
acl2-books_4.0-3_amd64.deb 2010-07-09 22:32 37M
ftp.heanet.ie