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


../
acl2-books-certs_2.9-2_all.deb                     11-Nov-2004 03:02              295786
acl2-books-certs_3.1-1_all.deb                     04-Dec-2006 19:47             4966096
acl2-books-certs_4.0-3_all.deb                     09-Jul-2010 17:02             2007572
acl2-books-source_2.9-2_all.deb                    11-Nov-2004 03:02             1235748
acl2-books-source_3.1-1_all.deb                    04-Dec-2006 19:47             2245286
acl2-books-source_4.0-3_all.deb                    09-Jul-2010 17:02             5286616
acl2-books_2.9-2_alpha.deb                         11-Nov-2004 16:32             1426784
acl2-books_2.9-2_arm.deb                           15-Nov-2004 00:17              925398
acl2-books_2.9-2_hppa.deb                          25-Nov-2004 01:47             6805784
acl2-books_2.9-2_i386.deb                          11-Nov-2004 03:02              833342
acl2-books_2.9-2_ia64.deb                          25-Nov-2004 01:47             1514864
acl2-books_2.9-2_m68k.deb                          16-Nov-2004 09:02              801114
acl2-books_2.9-2_mips.deb                          16-Nov-2004 17:47             1117054
acl2-books_2.9-2_mipsel.deb                        12-Nov-2004 19:32             1094450
acl2-books_2.9-2_powerpc.deb                       11-Nov-2004 16:32             1265444
acl2-books_2.9-2_s390.deb                          11-Nov-2004 10:32              945286
acl2-books_2.9-2_sparc.deb                         28-Nov-2004 16:32              995484
acl2-books_3.1-1_alpha.deb                         05-Dec-2006 10:32             2843598
acl2-books_3.1-1_amd64.deb                         04-Dec-2006 21:47             2267156
acl2-books_3.1-1_arm.deb                           18-Dec-2006 17:00             1686088
acl2-books_3.1-1_hppa.deb                          12-Dec-2006 05:02             7772122
acl2-books_3.1-1_i386.deb                          04-Dec-2006 19:47             1615674
acl2-books_3.1-1_ia64.deb                          05-Dec-2006 15:32             2983344
acl2-books_3.1-1_m68k.deb                          12-Feb-2007 07:02             1628580
acl2-books_3.1-1_mips.deb                          12-Dec-2006 07:02             2057940
acl2-books_3.1-1_mipsel.deb                        08-Jan-2007 09:32             2033862
acl2-books_3.1-1_powerpc.deb                       05-Dec-2006 10:32             2323872
acl2-books_3.1-1_s390.deb                          05-Dec-2006 15:02             1785888
acl2-books_3.1-1_sparc.deb                         31-Dec-2006 18:32             1904450
acl2-books_4.0-3_amd64.deb                         09-Jul-2010 21:32            38502436
acl2-books_4.0-3_armel.deb                         11-Jul-2010 17:17            34220998
acl2-books_4.0-3_i386.deb                          09-Jul-2010 17:02            34005186
acl2-books_4.0-3_ia64.deb                          10-Jul-2010 11:17            41535316
acl2-books_4.0-3_kfreebsd-amd64.deb                09-Jul-2010 23:17            38437094
acl2-books_4.0-3_kfreebsd-i386.deb                 09-Jul-2010 23:32            33779974
acl2-books_4.0-3_mips.deb                          23-Jul-2010 14:32            38406668
acl2-books_4.0-3_mipsel.deb                        19-Jul-2010 15:47            13170306
acl2-books_4.0-3_powerpc.deb                       19-Jul-2010 20:47            44036768
acl2-books_4.0-3_s390.deb                          10-Jul-2010 09:47            42211588
acl2-books_4.0-3_sparc.deb                         17-Jul-2010 14:47            36979882
acl2-doc_2.9-2_all.deb                             11-Nov-2004 03:02             1791978
acl2-doc_3.1-1_all.deb                             04-Dec-2006 19:47             2019688
acl2-doc_4.0-3_all.deb                             09-Jul-2010 17:02             2826154
acl2-emacs_2.9-2_all.deb                           30-Apr-2005 11:19               48736
acl2-emacs_3.1-1_all.deb                           04-Dec-2006 19:47               50538
acl2-emacs_4.0-3_all.deb                           09-Jul-2010 17:02               58156
acl2-infix-source_2.9-2_all.deb                    11-Nov-2004 03:02               84244
acl2-infix-source_3.1-1_all.deb                    04-Dec-2006 19:47               85324
acl2-infix-source_4.0-3_all.deb                    09-Jul-2010 17:02               89318
acl2-infix_2.9-2_alpha.deb                         11-Nov-2004 16:32              291506
acl2-infix_2.9-2_arm.deb                           15-Nov-2004 00:17              209104
acl2-infix_2.9-2_hppa.deb                          25-Nov-2004 01:47              391036
acl2-infix_2.9-2_i386.deb                          11-Nov-2004 03:02              181118
acl2-infix_2.9-2_ia64.deb                          25-Nov-2004 01:47              352340
acl2-infix_2.9-2_m68k.deb                          16-Nov-2004 09:02              178264
acl2-infix_2.9-2_mips.deb                          16-Nov-2004 17:47              256852
acl2-infix_2.9-2_mipsel.deb                        12-Nov-2004 19:32              245090
acl2-infix_2.9-2_powerpc.deb                       11-Nov-2004 16:32              314874
acl2-infix_2.9-2_s390.deb                          11-Nov-2004 10:32              182014
acl2-infix_2.9-2_sparc.deb                         28-Nov-2004 16:32              254852
acl2-infix_3.1-1_alpha.deb                         05-Dec-2006 10:32              257262
acl2-infix_3.1-1_amd64.deb                         04-Dec-2006 21:47              198650
acl2-infix_3.1-1_arm.deb                           18-Dec-2006 17:00              190192
acl2-infix_3.1-1_hppa.deb                          12-Dec-2006 05:02              417890
acl2-infix_3.1-1_i386.deb                          04-Dec-2006 19:47              171834
acl2-infix_3.1-1_ia64.deb                          05-Dec-2006 15:32              304194
acl2-infix_3.1-1_m68k.deb                          12-Feb-2007 07:02              195692
acl2-infix_3.1-1_mips.deb                          12-Dec-2006 07:02              202056
acl2-infix_3.1-1_mipsel.deb                        08-Jan-2007 09:32              196768
acl2-infix_3.1-1_powerpc.deb                       05-Dec-2006 10:32              248854
acl2-infix_3.1-1_s390.deb                          05-Dec-2006 15:02              166298
acl2-infix_3.1-1_sparc.deb                         31-Dec-2006 18:32              222828
acl2-infix_4.0-3_amd64.deb                         09-Jul-2010 21:32              430572
acl2-infix_4.0-3_armel.deb                         11-Jul-2010 17:17              392950
acl2-infix_4.0-3_i386.deb                          09-Jul-2010 17:02              390414
acl2-infix_4.0-3_ia64.deb                          10-Jul-2010 11:17              572930
acl2-infix_4.0-3_kfreebsd-amd64.deb                09-Jul-2010 23:17              431290
acl2-infix_4.0-3_kfreebsd-i386.deb                 09-Jul-2010 23:32              388954
acl2-infix_4.0-3_mips.deb                          23-Jul-2010 14:32              436830
acl2-infix_4.0-3_mipsel.deb                        19-Jul-2010 15:47              191820
acl2-infix_4.0-3_powerpc.deb                       19-Jul-2010 20:47              523346
acl2-infix_4.0-3_s390.deb                          10-Jul-2010 09:47              460252
acl2-infix_4.0-3_sparc.deb                         17-Jul-2010 14:47              452220
acl2-source_2.9-2_all.deb                          11-Nov-2004 03:02             2049908
acl2-source_3.1-1_all.deb                          04-Dec-2006 19:47             2269010
acl2-source_4.0-3_all.deb                          09-Jul-2010 17:02             3026226
acl2_2.9-2.diff.gz                                 11-Nov-2004 03:02               18129
acl2_2.9-2.dsc                                     30-Apr-2005 11:19                 794
acl2_2.9-2_alpha.deb                               11-Nov-2004 16:32            15263882
acl2_2.9-2_arm.deb                                 15-Nov-2004 00:17            14477548
acl2_2.9-2_hppa.deb                                25-Nov-2004 01:47            14337532
acl2_2.9-2_i386.deb                                11-Nov-2004 03:02            13730948
acl2_2.9-2_ia64.deb                                25-Nov-2004 01:47            16456222
acl2_2.9-2_m68k.deb                                16-Nov-2004 09:02            13622708
acl2_2.9-2_mips.deb                                16-Nov-2004 17:47            14300752
acl2_2.9-2_mipsel.deb                              12-Nov-2004 19:32            13636960
acl2_2.9-2_powerpc.deb                             11-Nov-2004 16:32            16167068
acl2_2.9-2_s390.deb                                11-Nov-2004 10:32            15102268
acl2_2.9-2_sparc.deb                               28-Nov-2004 16:32            22369578
acl2_2.9.orig.tar.gz                               30-Apr-2005 11:19             5202871
acl2_3.1-1.diff.gz                                 04-Dec-2006 19:47               13272
acl2_3.1-1.dsc                                     04-Dec-2006 19:47                 822
acl2_3.1-1_alpha.deb                               05-Dec-2006 10:32            16546878
acl2_3.1-1_amd64.deb                               04-Dec-2006 21:47            18522740
acl2_3.1-1_arm.deb                                 18-Dec-2006 17:00            16774370
acl2_3.1-1_hppa.deb                                12-Dec-2006 05:02            16136410
acl2_3.1-1_i386.deb                                04-Dec-2006 19:47            16215440
acl2_3.1-1_ia64.deb                                05-Dec-2006 15:32            17602850
acl2_3.1-1_m68k.deb                                12-Feb-2007 07:02            15832350
acl2_3.1-1_mips.deb                                12-Dec-2006 07:02            15791406
acl2_3.1-1_mipsel.deb                              08-Jan-2007 09:32            14974714
acl2_3.1-1_powerpc.deb                             05-Dec-2006 10:32            17871348
acl2_3.1-1_s390.deb                                05-Dec-2006 15:02            17000990
acl2_3.1-1_sparc.deb                               31-Dec-2006 18:32            17486190
acl2_3.1.orig.tar.gz                               04-Dec-2006 19:47             6729537
acl2_4.0-3.diff.gz                                 09-Jul-2010 17:02               15953
acl2_4.0-3.dsc                                     09-Jul-2010 17:02                1168
acl2_4.0-3_amd64.deb                               09-Jul-2010 21:32            26239522
acl2_4.0-3_armel.deb                               11-Jul-2010 17:17            23521690
acl2_4.0-3_i386.deb                                09-Jul-2010 17:02            22361038
acl2_4.0-3_ia64.deb                                10-Jul-2010 11:17            24910502
acl2_4.0-3_kfreebsd-amd64.deb                      09-Jul-2010 23:17            26209672
acl2_4.0-3_kfreebsd-i386.deb                       09-Jul-2010 23:32            22248994
acl2_4.0-3_mips.deb                                23-Jul-2010 14:32            22950590
acl2_4.0-3_mipsel.deb                              19-Jul-2010 15:47            21812492
acl2_4.0-3_powerpc.deb                             19-Jul-2010 20:47            25105048
acl2_4.0-3_s390.deb                                10-Jul-2010 09:47            24802798
acl2_4.0-3_sparc.deb                               17-Jul-2010 14:47            26782090
acl2_4.0.orig.tar.gz                               08-Jul-2010 04:47            11425814