Skip To Content

Home - Residential - Entertainment - File Download Mirror - Directory Listing

File Download Mirror

The Internode Mirror contains a wide selection of software for download by Internode customers.

File Download Mirror Directory Listing

Index of /pub/ubuntu-archive/pool/universe/a/acl2/

Index of /pub/ubuntu-archive/pool/universe/a/acl2/

File NameFile SizeDate
Parent directory/--
acl2-books-certs_3.0-1_all.deb 68116421-Jun-2006 19:10
acl2-books-certs_3.1-1_all.deb 495807007-Dec-2006 04:04
acl2-books-certs_3.6-4_all.deb 194178216-Feb-2010 08:05
acl2-books-source_3.0-1_all.deb 166662421-Jun-2006 19:10
acl2-books-source_3.1-1_all.deb 224532407-Dec-2006 04:04
acl2-books-source_3.6-4_all.deb 491540016-Feb-2010 08:05
acl2-books_3.0-1_amd64.deb 162697421-Jun-2006 17:10
acl2-books_3.0-1_i386.deb 119157021-Jun-2006 19:10
acl2-books_3.1-1_amd64.deb 210632207-Dec-2006 18:04
acl2-books_3.1-1_i386.deb 158733607-Dec-2006 04:04
acl2-books_3.3-1ubuntu1_amd64.deb 639307417-Feb-2008 02:03
acl2-books_3.6-4_amd64.deb 3478726416-Feb-2010 08:05
acl2-books_3.6-4_i386.deb 3000553816-Feb-2010 08:05
acl2-doc_3.0-1_all.deb 194016821-Jun-2006 19:10
acl2-doc_3.1-1_all.deb 201978007-Dec-2006 04:04
acl2-doc_3.6-4_all.deb 239639816-Feb-2010 08:05
acl2-emacs_3.0-1_all.deb 5029621-Jun-2006 19:10
acl2-emacs_3.1-1_all.deb 5057607-Dec-2006 04:04
acl2-emacs_3.6-4_all.deb 5727216-Feb-2010 08:05
acl2-infix-source_3.0-1_all.deb 8500221-Jun-2006 19:10
acl2-infix-source_3.1-1_all.deb 8537207-Dec-2006 04:04
acl2-infix-source_3.6-4_all.deb 8639216-Feb-2010 08:05
acl2-infix_3.0-1_amd64.deb 20071221-Jun-2006 17:10
acl2-infix_3.0-1_i386.deb 16639221-Jun-2006 19:10
acl2-infix_3.1-1_amd64.deb 19868607-Dec-2006 18:04
acl2-infix_3.1-1_i386.deb 17006407-Dec-2006 04:04
acl2-infix_3.3-1ubuntu1_amd64.deb 19958217-Feb-2008 02:03
acl2-infix_3.6-4_amd64.deb 43086016-Feb-2010 08:05
acl2-infix_3.6-4_i386.deb 38858216-Feb-2010 08:05
acl2-source_3.0-1_all.deb 219099221-Jun-2006 19:10
acl2-source_3.1-1_all.deb 226905207-Dec-2006 04:04
acl2-source_3.6-4_all.deb 273732816-Feb-2010 08:05
acl2_3.0-1.diff.gz 1294015-Jun-2006 17:58
acl2_3.0-1.dsc 79715-Jun-2006 17:58
acl2_3.0-1_amd64.deb 1814479221-Jun-2006 17:10
acl2_3.0-1_i386.deb 1494772621-Jun-2006 19:10
acl2_3.0.orig.tar.gz 596635515-Jun-2006 17:58
acl2_3.1-1.diff.gz 1327206-Dec-2006 15:05
acl2_3.1-1.dsc 82206-Dec-2006 15:05
acl2_3.1-1_amd64.deb 1860815607-Dec-2006 18:04
acl2_3.1-1_i386.deb 1551515607-Dec-2006 04:04
acl2_3.1.orig.tar.gz 672953706-Dec-2006 15:05
acl2_3.2-1.diff.gz 1328821-May-2007 09:03
acl2_3.2-1.dsc 82221-May-2007 09:03
acl2_3.2.orig.tar.gz 704756421-May-2007 09:03
acl2_3.3-1ubuntu1.diff.gz 1369317-Feb-2008 00:03
acl2_3.3-1ubuntu1.dsc 103717-Feb-2008 00:03
acl2_3.3-1ubuntu1_amd64.deb 1896458217-Feb-2008 02:03
acl2_3.3.orig.tar.gz 731849804-Dec-2007 12:05
acl2_3.6-4.diff.gz 1516402-Feb-2010 00:06
acl2_3.6-4.dsc 116802-Feb-2010 00:06
acl2_3.6-4_amd64.deb 2289488416-Feb-2010 08:05
acl2_3.6-4_i386.deb 2052259016-Feb-2010 08:05
acl2_3.6.orig.tar.gz 1049744102-Feb-2010 00:06