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