Index of /debian/pool/main/a/acl2

Icon  Name                                Last modified      Size  Description
[DIR] Parent Directory - [   ] acl2-books-certs_4.0-3_all.deb 10-Jul-2010 01:02 1.9M [   ] acl2-books-certs_4.2-1_all.deb 15-May-2011 00:02 1.9M [   ] acl2-books-certs_4.3-1_all.deb 12-Jan-2012 03:47 4.2M [   ] acl2-books-certs_4.3-2_all.deb 22-Jan-2012 06:02 4.2M [   ] acl2-books-source_4.0-3_all.deb 10-Jul-2010 01:02 5.0M [   ] acl2-books-source_4.2-1_all.deb 15-May-2011 00:02 5.1M [   ] acl2-books-source_4.3-1_all.deb 12-Jan-2012 03:47 6.2M [   ] acl2-books-source_4.3-2_all.deb 22-Jan-2012 06:02 6.2M [   ] acl2-books_4.0-3_amd64.deb 10-Jul-2010 05:32 37M [   ] acl2-books_4.0-3_armel.deb 12-Jul-2010 01:17 33M [   ] acl2-books_4.0-3_i386.deb 10-Jul-2010 01:02 32M [   ] acl2-books_4.0-3_ia64.deb 10-Jul-2010 19:17 40M [   ] acl2-books_4.0-3_kfreebsd-amd64.deb 10-Jul-2010 07:17 37M [   ] acl2-books_4.0-3_kfreebsd-i386.deb 10-Jul-2010 07:32 32M [   ] acl2-books_4.0-3_mips.deb 23-Jul-2010 22:32 37M [   ] acl2-books_4.0-3_mipsel.deb 19-Jul-2010 23:47 13M [   ] acl2-books_4.0-3_powerpc.deb 20-Jul-2010 04:47 42M [   ] acl2-books_4.0-3_s390.deb 10-Jul-2010 17:47 40M [   ] acl2-books_4.0-3_sparc.deb 17-Jul-2010 22:47 35M [   ] acl2-books_4.2-1_amd64.deb 15-May-2011 03:32 39M [   ] acl2-books_4.2-1_armel.deb 16-May-2011 05:47 32M [   ] acl2-books_4.2-1_hurd-i386.deb 19-May-2011 16:47 34M [   ] acl2-books_4.2-1_i386.deb 15-May-2011 00:02 35M [   ] acl2-books_4.2-1_ia64.deb 15-May-2011 12:02 40M [   ] acl2-books_4.2-1_kfreebsd-amd64.deb 15-May-2011 06:02 39M [   ] acl2-books_4.2-1_kfreebsd-i386.deb 15-May-2011 06:32 34M [   ] acl2-books_4.2-1_mips.deb 15-May-2011 22:47 40M [   ] acl2-books_4.2-1_mipsel.deb 15-May-2011 21:47 39M [   ] acl2-books_4.2-1_powerpc.deb 15-May-2011 06:17 45M [   ] acl2-books_4.2-1_s390.deb 15-May-2011 05:02 45M [   ] acl2-books_4.2-1_sparc.deb 15-May-2011 16:47 36M [   ] acl2-books_4.3-1_amd64.deb 12-Jan-2012 09:02 15M [   ] acl2-books_4.3-1_armel.deb 13-Jan-2012 10:47 36M [   ] acl2-books_4.3-1_hurd-i386.deb 12-Jan-2012 22:47 13M [   ] acl2-books_4.3-1_i386.deb 12-Jan-2012 03:47 13M [   ] acl2-books_4.3-1_kfreebsd-i386.deb 12-Jan-2012 09:02 13M [   ] acl2-books_4.3-1_powerpc.deb 12-Jan-2012 16:47 15M [   ] acl2-books_4.3-1_s390.deb 12-Jan-2012 07:32 13M [   ] acl2-books_4.3-1_s390x.deb 12-Jan-2012 08:47 15M [   ] acl2-books_4.3-1_sparc.deb 13-Jan-2012 08:03 15M [   ] acl2-books_4.3-2_amd64.deb 22-Jan-2012 09:47 15M [   ] acl2-books_4.3-2_armel.deb 23-Jan-2012 09:02 36M [   ] acl2-books_4.3-2_armhf.deb 23-Jan-2012 07:17 37M [   ] acl2-books_4.3-2_hurd-i386.deb 22-Jan-2012 18:47 13M [   ] acl2-books_4.3-2_i386.deb 22-Jan-2012 06:02 13M [   ] acl2-books_4.3-2_ia64.deb 22-Jan-2012 18:32 18M [   ] acl2-books_4.3-2_kfreebsd-amd64.deb 30-Jan-2012 00:32 15M [   ] acl2-books_4.3-2_kfreebsd-i386.deb 22-Jan-2012 15:17 13M [   ] acl2-books_4.3-2_mips.deb 01-Feb-2012 10:47 16M [   ] acl2-books_4.3-2_mipsel.deb 23-Jan-2012 12:32 15M [   ] acl2-books_4.3-2_powerpc.deb 22-Jan-2012 12:02 15M [   ] acl2-books_4.3-2_s390.deb 22-Jan-2012 09:47 13M [   ] acl2-books_4.3-2_s390x.deb 22-Jan-2012 10:47 15M [   ] acl2-books_4.3-2_sparc.deb 23-Jan-2012 22:47 15M [   ] acl2-doc_4.0-3_all.deb 10-Jul-2010 01:02 2.7M [   ] acl2-doc_4.2-1_all.deb 15-May-2011 00:02 223K [   ] acl2-doc_4.3-1_all.deb 12-Jan-2012 03:47 352K [   ] acl2-doc_4.3-2_all.deb 22-Jan-2012 06:02 352K [   ] acl2-emacs_4.0-3_all.deb 10-Jul-2010 01:02 57K [   ] acl2-emacs_4.2-1_all.deb 15-May-2011 00:02 57K [   ] acl2-emacs_4.3-1_all.deb 12-Jan-2012 03:47 58K [   ] acl2-emacs_4.3-2_all.deb 22-Jan-2012 06:02 58K [   ] acl2-infix-source_4.0-3_all.deb 10-Jul-2010 01:02 87K [   ] acl2-infix-source_4.2-1_all.deb 15-May-2011 00:02 86K [   ] acl2-infix-source_4.3-1_all.deb 12-Jan-2012 03:47 87K [   ] acl2-infix-source_4.3-2_all.deb 22-Jan-2012 06:02 88K [   ] acl2-infix_4.0-3_amd64.deb 10-Jul-2010 05:32 420K [   ] acl2-infix_4.0-3_armel.deb 12-Jul-2010 01:17 384K [   ] acl2-infix_4.0-3_i386.deb 10-Jul-2010 01:02 381K [   ] acl2-infix_4.0-3_ia64.deb 10-Jul-2010 19:17 560K [   ] acl2-infix_4.0-3_kfreebsd-amd64.deb 10-Jul-2010 07:17 421K [   ] acl2-infix_4.0-3_kfreebsd-i386.deb 10-Jul-2010 07:32 380K [   ] acl2-infix_4.0-3_mips.deb 23-Jul-2010 22:32 427K [   ] acl2-infix_4.0-3_mipsel.deb 19-Jul-2010 23:47 187K [   ] acl2-infix_4.0-3_powerpc.deb 20-Jul-2010 04:47 511K [   ] acl2-infix_4.0-3_s390.deb 10-Jul-2010 17:47 449K [   ] acl2-infix_4.0-3_sparc.deb 17-Jul-2010 22:47 442K [   ] acl2-infix_4.2-1_amd64.deb 15-May-2011 03:32 444K [   ] acl2-infix_4.2-1_armel.deb 16-May-2011 05:47 354K [   ] acl2-infix_4.2-1_hurd-i386.deb 19-May-2011 16:47 406K [   ] acl2-infix_4.2-1_i386.deb 15-May-2011 00:02 405K [   ] acl2-infix_4.2-1_ia64.deb 15-May-2011 12:02 560K [   ] acl2-infix_4.2-1_kfreebsd-amd64.deb 15-May-2011 06:02 444K [   ] acl2-infix_4.2-1_kfreebsd-i386.deb 15-May-2011 06:32 406K [   ] acl2-infix_4.2-1_mips.deb 15-May-2011 22:47 480K [   ] acl2-infix_4.2-1_mipsel.deb 15-May-2011 21:47 445K [   ] acl2-infix_4.2-1_powerpc.deb 15-May-2011 06:17 529K [   ] acl2-infix_4.2-1_s390.deb 15-May-2011 05:02 482K [   ] acl2-infix_4.2-1_sparc.deb 15-May-2011 16:47 442K [   ] acl2-infix_4.3-1_amd64.deb 12-Jan-2012 09:02 199K [   ] acl2-infix_4.3-1_armel.deb 13-Jan-2012 10:47 369K [   ] acl2-infix_4.3-1_hurd-i386.deb 12-Jan-2012 22:47 178K [   ] acl2-infix_4.3-1_i386.deb 12-Jan-2012 03:47 178K [   ] acl2-infix_4.3-1_kfreebsd-i386.deb 12-Jan-2012 09:02 178K [   ] acl2-infix_4.3-1_powerpc.deb 12-Jan-2012 16:47 217K [   ] acl2-infix_4.3-1_s390.deb 12-Jan-2012 07:32 167K [   ] acl2-infix_4.3-1_s390x.deb 12-Jan-2012 08:47 189K [   ] acl2-infix_4.3-1_sparc.deb 13-Jan-2012 08:03 212K [   ] acl2-infix_4.3-2_amd64.deb 22-Jan-2012 09:47 199K [   ] acl2-infix_4.3-2_armel.deb 23-Jan-2012 09:02 371K [   ] acl2-infix_4.3-2_armhf.deb 23-Jan-2012 07:17 401K [   ] acl2-infix_4.3-2_hurd-i386.deb 22-Jan-2012 18:47 178K [   ] acl2-infix_4.3-2_i386.deb 22-Jan-2012 06:02 178K [   ] acl2-infix_4.3-2_ia64.deb 22-Jan-2012 18:32 256K [   ] acl2-infix_4.3-2_kfreebsd-amd64.deb 30-Jan-2012 00:32 199K [   ] acl2-infix_4.3-2_kfreebsd-i386.deb 22-Jan-2012 15:17 178K [   ] acl2-infix_4.3-2_mips.deb 01-Feb-2012 10:47 226K [   ] acl2-infix_4.3-2_mipsel.deb 23-Jan-2012 12:32 213K [   ] acl2-infix_4.3-2_powerpc.deb 22-Jan-2012 12:02 218K [   ] acl2-infix_4.3-2_s390.deb 22-Jan-2012 09:47 166K [   ] acl2-infix_4.3-2_s390x.deb 22-Jan-2012 10:47 189K [   ] acl2-infix_4.3-2_sparc.deb 23-Jan-2012 22:47 212K [   ] acl2-source_4.0-3_all.deb 10-Jul-2010 01:02 2.9M [   ] acl2-source_4.2-1_all.deb 15-May-2011 00:02 3.0M [   ] acl2-source_4.3-1_all.deb 12-Jan-2012 03:47 3.1M [   ] acl2-source_4.3-2_all.deb 22-Jan-2012 06:02 3.1M [   ] acl2_4.0-3.diff.gz 10-Jul-2010 01:02 16K [TXT] acl2_4.0-3.dsc 10-Jul-2010 01:02 1.1K [   ] acl2_4.0-3_amd64.deb 10-Jul-2010 05:32 25M [   ] acl2_4.0-3_armel.deb 12-Jul-2010 01:17 22M [   ] acl2_4.0-3_i386.deb 10-Jul-2010 01:02 21M [   ] acl2_4.0-3_ia64.deb 10-Jul-2010 19:17 24M [   ] acl2_4.0-3_kfreebsd-amd64.deb 10-Jul-2010 07:17 25M [   ] acl2_4.0-3_kfreebsd-i386.deb 10-Jul-2010 07:32 21M [   ] acl2_4.0-3_mips.deb 23-Jul-2010 22:32 22M [   ] acl2_4.0-3_mipsel.deb 19-Jul-2010 23:47 21M [   ] acl2_4.0-3_powerpc.deb 20-Jul-2010 04:47 24M [   ] acl2_4.0-3_s390.deb 10-Jul-2010 17:47 24M [   ] acl2_4.0-3_sparc.deb 17-Jul-2010 22:47 26M [   ] acl2_4.0.orig.tar.gz 08-Jul-2010 12:47 11M [   ] acl2_4.2-1.debian.tar.gz 15-May-2011 00:02 17K [TXT] acl2_4.2-1.dsc 15-May-2011 00:02 1.2K [   ] acl2_4.2-1_amd64.deb 15-May-2011 03:32 25M [   ] acl2_4.2-1_armel.deb 16-May-2011 05:47 24M [   ] acl2_4.2-1_hurd-i386.deb 19-May-2011 16:47 22M [   ] acl2_4.2-1_i386.deb 15-May-2011 00:02 22M [   ] acl2_4.2-1_ia64.deb 15-May-2011 12:02 24M [   ] acl2_4.2-1_kfreebsd-amd64.deb 15-May-2011 06:02 25M [   ] acl2_4.2-1_kfreebsd-i386.deb 15-May-2011 06:32 22M [   ] acl2_4.2-1_mips.deb 15-May-2011 22:47 24M [   ] acl2_4.2-1_mipsel.deb 15-May-2011 21:47 22M [   ] acl2_4.2-1_powerpc.deb 15-May-2011 06:17 23M [   ] acl2_4.2-1_s390.deb 15-May-2011 05:02 24M [   ] acl2_4.2-1_sparc.deb 15-May-2011 16:47 25M [   ] acl2_4.2.orig.tar.gz 15-May-2011 00:02 11M [   ] acl2_4.3-1.debian.tar.gz 12-Jan-2012 03:47 17K [TXT] acl2_4.3-1.dsc 12-Jan-2012 03:47 1.4K [   ] acl2_4.3-1_amd64.deb 12-Jan-2012 09:02 27M [   ] acl2_4.3-1_armel.deb 13-Jan-2012 10:47 23M [   ] acl2_4.3-1_hurd-i386.deb 12-Jan-2012 22:47 23M [   ] acl2_4.3-1_i386.deb 12-Jan-2012 03:47 23M [   ] acl2_4.3-1_kfreebsd-i386.deb 12-Jan-2012 09:02 23M [   ] acl2_4.3-1_powerpc.deb 12-Jan-2012 16:47 25M [   ] acl2_4.3-1_s390.deb 12-Jan-2012 07:32 25M [   ] acl2_4.3-1_s390x.deb 12-Jan-2012 08:47 29M [   ] acl2_4.3-1_sparc.deb 13-Jan-2012 08:03 27M [   ] acl2_4.3-2.debian.tar.gz 22-Jan-2012 06:02 18K [TXT] acl2_4.3-2.dsc 22-Jan-2012 06:02 1.4K [   ] acl2_4.3-2_amd64.deb 22-Jan-2012 09:47 27M [   ] acl2_4.3-2_armel.deb 23-Jan-2012 09:02 23M [   ] acl2_4.3-2_armhf.deb 23-Jan-2012 07:17 22M [   ] acl2_4.3-2_hurd-i386.deb 22-Jan-2012 18:47 23M [   ] acl2_4.3-2_i386.deb 22-Jan-2012 06:02 23M [   ] acl2_4.3-2_ia64.deb 22-Jan-2012 18:32 25M [   ] acl2_4.3-2_kfreebsd-amd64.deb 30-Jan-2012 00:32 27M [   ] acl2_4.3-2_kfreebsd-i386.deb 22-Jan-2012 15:17 23M [   ] acl2_4.3-2_mips.deb 01-Feb-2012 10:47 24M [   ] acl2_4.3-2_mipsel.deb 23-Jan-2012 12:32 23M [   ] acl2_4.3-2_powerpc.deb 22-Jan-2012 12:02 25M [   ] acl2_4.3-2_s390.deb 22-Jan-2012 09:47 25M [   ] acl2_4.3-2_s390x.deb 22-Jan-2012 10:47 29M [   ] acl2_4.3-2_sparc.deb 23-Jan-2012 22:47 27M [   ] acl2_4.3.orig.tar.gz 12-Jan-2012 03:47 15M
Microsoft-IIS/10.0 Server at rsync6.tw.gentoo.org Port 80