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 ftp.ncnu.edu.tw Port 80