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