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-certs_4.3-3_all.deb                     20-Apr-2012 19:38             4426578
acl2-books-certs_6.5-2_all.deb                     08-Sep-2014 14:35             6499338
acl2-books-certs_6.5-2~bpo70+1_all.deb             14-Jan-2015 16:26            19595980
acl2-books-certs_7.2dfsg-3_all.deb                 17-Oct-2016 14:35            54799678
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-source_4.3-3_all.deb                    20-Apr-2012 19:38             6462160
acl2-books-source_6.5-2_all.deb                    08-Sep-2014 14:35             6956870
acl2-books-source_6.5-2~bpo70+1_all.deb            14-Jan-2015 16:26            10741494
acl2-books-source_7.2dfsg-3_all.deb                17-Oct-2016 14:35            10864188
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-books_4.3-3_amd64.deb                         21-Apr-2012 00:02            15944036
acl2-books_4.3-3_armel.deb                         22-Apr-2012 02:47            37980508
acl2-books_4.3-3_armhf.deb                         21-Apr-2012 22:17            38260788
acl2-books_4.3-3_i386.deb                          20-Apr-2012 19:38            13895640
acl2-books_4.3-3_ia64.deb                          23-Apr-2012 14:47            19054990
acl2-books_4.3-3_kfreebsd-amd64.deb                21-Apr-2012 12:32            15811470
acl2-books_4.3-3_kfreebsd-i386.deb                 21-Apr-2012 01:02            13530842
acl2-books_4.3-3_mips.deb                          21-Apr-2012 20:47            16946848
acl2-books_4.3-3_mipsel.deb                        26-Apr-2012 21:49            16176590
acl2-books_4.3-3_powerpc.deb                       21-Apr-2012 01:47            15914394
acl2-books_4.3-3_s390.deb                          20-Apr-2012 23:17            13679506
acl2-books_4.3-3_s390x.deb                         21-Apr-2012 08:47            15528836
acl2-books_4.3-3_sparc.deb                         21-Apr-2012 23:02            15564738
acl2-books_6.5-2_amd64.deb                         08-Sep-2014 14:35            23132372
acl2-books_6.5-2_arm64.deb                         16-Sep-2014 23:00            22904818
acl2-books_6.5-2_armel.deb                         09-Sep-2014 11:25            68117694
acl2-books_6.5-2_armhf.deb                         12-Sep-2014 10:12            69956864
acl2-books_6.5-2_i386.deb                          08-Sep-2014 21:44            21804958
acl2-books_6.5-2_kfreebsd-amd64.deb                09-Sep-2014 06:43            23159108
acl2-books_6.5-2_kfreebsd-i386.deb                 09-Sep-2014 10:04            18744532
acl2-books_6.5-2_mips.deb                          02-Oct-2014 23:44            20935702
acl2-books_6.5-2_mipsel.deb                        28-Sep-2014 20:37            21397608
acl2-books_6.5-2_powerpc.deb                       08-Sep-2014 17:57            18999546
acl2-books_6.5-2_ppc64el.deb                       09-Sep-2014 04:07            20031082
acl2-books_6.5-2_s390x.deb                         09-Sep-2014 00:46            20777710
acl2-books_6.5-2~bpo70+1_amd64.deb                 14-Jan-2015 16:26            49693770
acl2-books_7.2dfsg-3_amd64.deb                     17-Oct-2016 14:35           108111876
acl2-books_7.2dfsg-3_arm64.deb                     18-Oct-2016 05:59           109553364
acl2-books_7.2dfsg-3_armel.deb                     19-Oct-2016 05:29            90445118
acl2-books_7.2dfsg-3_armhf.deb                     19-Oct-2016 01:33            96320516
acl2-books_7.2dfsg-3_i386.deb                      17-Oct-2016 23:35            90445906
acl2-books_7.2dfsg-3_mips.deb                      18-Oct-2016 15:12            74774492
acl2-books_7.2dfsg-3_mips64el.deb                  20-Oct-2016 00:31           113506526
acl2-books_7.2dfsg-3_mipsel.deb                    19-Oct-2016 14:45            77827422
acl2-books_7.2dfsg-3_ppc64el.deb                   17-Oct-2016 22:34           103621888
acl2-books_7.2dfsg-3_s390x.deb                     18-Oct-2016 07:30           106524682
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-doc_4.3-3_all.deb                             20-Apr-2012 19:38              362274
acl2-doc_6.5-2_all.deb                             08-Sep-2014 14:35             1671882
acl2-doc_6.5-2~bpo70+1_all.deb                     14-Jan-2015 16:26             2291762
acl2-doc_7.2dfsg-3_all.deb                         17-Oct-2016 14:35              381186
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-emacs_4.3-3_all.deb                           20-Apr-2012 19:38               60860
acl2-emacs_6.5-2_all.deb                           08-Sep-2014 14:35               60874
acl2-emacs_6.5-2~bpo70+1_all.deb                   14-Jan-2015 16:26               72934
acl2-emacs_7.2dfsg-3_all.deb                       17-Oct-2016 14:35               64070
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-source_4.3-3_all.deb                    20-Apr-2012 19:38               91494
acl2-infix-source_6.5-2_all.deb                    08-Sep-2014 14:35               79456
acl2-infix-source_6.5-2~bpo70+1_all.deb            14-Jan-2015 16:26               92182
acl2-infix-source_7.2dfsg-3_all.deb                17-Oct-2016 14:35               78840
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-infix_4.3-3_amd64.deb                         21-Apr-2012 00:02              203674
acl2-infix_4.3-3_armel.deb                         22-Apr-2012 02:47              377758
acl2-infix_4.3-3_armhf.deb                         21-Apr-2012 22:17              410306
acl2-infix_4.3-3_i386.deb                          20-Apr-2012 19:38              184088
acl2-infix_4.3-3_ia64.deb                          23-Apr-2012 14:47              261952
acl2-infix_4.3-3_kfreebsd-amd64.deb                21-Apr-2012 12:32              205366
acl2-infix_4.3-3_kfreebsd-i386.deb                 21-Apr-2012 01:02              182392
acl2-infix_4.3-3_mips.deb                          21-Apr-2012 20:47              231582
acl2-infix_4.3-3_mipsel.deb                        26-Apr-2012 21:49              219456
acl2-infix_4.3-3_powerpc.deb                       21-Apr-2012 01:47              223612
acl2-infix_4.3-3_s390.deb                          20-Apr-2012 23:17              170544
acl2-infix_4.3-3_s390x.deb                         21-Apr-2012 08:47              194768
acl2-infix_4.3-3_sparc.deb                         21-Apr-2012 23:02              216806
acl2-infix_6.5-2_amd64.deb                         08-Sep-2014 14:35              150020
acl2-infix_6.5-2_arm64.deb                         16-Sep-2014 23:00              152838
acl2-infix_6.5-2_armel.deb                         09-Sep-2014 11:25              412334
acl2-infix_6.5-2_armhf.deb                         12-Sep-2014 10:12              434578
acl2-infix_6.5-2_i386.deb                          08-Sep-2014 21:44              151576
acl2-infix_6.5-2_kfreebsd-amd64.deb                09-Sep-2014 06:43              148554
acl2-infix_6.5-2_kfreebsd-i386.deb                 09-Sep-2014 10:04              151032
acl2-infix_6.5-2_mips.deb                          02-Oct-2014 23:44              148546
acl2-infix_6.5-2_mipsel.deb                        28-Sep-2014 20:37              149938
acl2-infix_6.5-2_powerpc.deb                       08-Sep-2014 17:57              139708
acl2-infix_6.5-2_ppc64el.deb                       09-Sep-2014 04:07              155932
acl2-infix_6.5-2_s390x.deb                         09-Sep-2014 00:46              141118
acl2-infix_6.5-2~bpo70+1_amd64.deb                 14-Jan-2015 16:26              224544
acl2-infix_7.2dfsg-3_amd64.deb                     17-Oct-2016 14:35              419740
acl2-infix_7.2dfsg-3_arm64.deb                     18-Oct-2016 05:59              430278
acl2-infix_7.2dfsg-3_armel.deb                     19-Oct-2016 05:29              390920
acl2-infix_7.2dfsg-3_armhf.deb                     19-Oct-2016 01:33              410262
acl2-infix_7.2dfsg-3_i386.deb                      17-Oct-2016 23:35              390180
acl2-infix_7.2dfsg-3_mips.deb                      18-Oct-2016 15:12              417690
acl2-infix_7.2dfsg-3_mips64el.deb                  20-Oct-2016 00:31              433890
acl2-infix_7.2dfsg-3_mipsel.deb                    19-Oct-2016 14:45              436502
acl2-infix_7.2dfsg-3_ppc64el.deb                   17-Oct-2016 22:34              422790
acl2-infix_7.2dfsg-3_s390x.deb                     18-Oct-2016 07:30              418120
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-source_4.3-3_all.deb                          20-Apr-2012 19:38             3289530
acl2-source_6.5-2_all.deb                          08-Sep-2014 14:35             2764672
acl2-source_6.5-2~bpo70+1_all.deb                  14-Jan-2015 16:26             3867396
acl2-source_7.2dfsg-3_all.deb                      17-Oct-2016 14:35             2886204
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
acl2_4.3-3.debian.tar.gz                           20-Apr-2012 19:38               18297
acl2_4.3-3.dsc                                     20-Apr-2012 19:38                1491
acl2_4.3-3_amd64.deb                               21-Apr-2012 00:02            28317704
acl2_4.3-3_armel.deb                               22-Apr-2012 02:47            24508878
acl2_4.3-3_armhf.deb                               21-Apr-2012 22:17            23408856
acl2_4.3-3_i386.deb                                20-Apr-2012 19:38            24297636
acl2_4.3-3_ia64.deb                                23-Apr-2012 14:47            26270070
acl2_4.3-3_kfreebsd-amd64.deb                      21-Apr-2012 12:32            28323046
acl2_4.3-3_kfreebsd-i386.deb                       21-Apr-2012 01:02            24322328
acl2_4.3-3_mips.deb                                21-Apr-2012 20:47            24925124
acl2_4.3-3_mipsel.deb                              26-Apr-2012 21:49            23603854
acl2_4.3-3_powerpc.deb                             21-Apr-2012 01:47            25711492
acl2_4.3-3_s390.deb                                20-Apr-2012 23:17            26272150
acl2_4.3-3_s390x.deb                               21-Apr-2012 08:47            30654524
acl2_4.3-3_sparc.deb                               21-Apr-2012 23:02            28216666
acl2_4.3.orig.tar.gz                               11-Jan-2012 19:47            15251431
acl2_6.5-2.debian.tar.xz                           08-Sep-2014 14:35              128268
acl2_6.5-2.dsc                                     08-Sep-2014 14:35                1807
acl2_6.5-2_amd64.deb                               08-Sep-2014 14:35            16320288
acl2_6.5-2_arm64.deb                               16-Sep-2014 23:00            14843114
acl2_6.5-2_armel.deb                               09-Sep-2014 11:25            13733028
acl2_6.5-2_armhf.deb                               12-Sep-2014 10:12            14158894
acl2_6.5-2_i386.deb                                08-Sep-2014 21:44            14001878
acl2_6.5-2_kfreebsd-amd64.deb                      09-Sep-2014 06:43            16318052
acl2_6.5-2_kfreebsd-i386.deb                       09-Sep-2014 10:04            14045946
acl2_6.5-2_mips.deb                                02-Oct-2014 23:44            13732128
acl2_6.5-2_mipsel.deb                              28-Sep-2014 20:37            14046446
acl2_6.5-2_powerpc.deb                             08-Sep-2014 17:57            13296586
acl2_6.5-2_ppc64el.deb                             09-Sep-2014 04:07            14157394
acl2_6.5-2_s390x.deb                               09-Sep-2014 00:46            15652280
acl2_6.5-2~bpo70+1.debian.tar.gz                   14-Jan-2015 16:26              163474
acl2_6.5-2~bpo70+1.dsc                             14-Jan-2015 16:26                2401
acl2_6.5-2~bpo70+1_amd64.deb                       14-Jan-2015 16:26            25023850
acl2_6.5.orig-books.tar.gz                         17-Aug-2014 15:21            14978744
acl2_6.5.orig.tar.gz                               17-Aug-2014 15:21             6192434
acl2_7.2dfsg-3.debian.tar.xz                       17-Oct-2016 14:35              204172
acl2_7.2dfsg-3.dsc                                 17-Oct-2016 14:35                2231
acl2_7.2dfsg-3_amd64.deb                           17-Oct-2016 14:35            18128940
acl2_7.2dfsg-3_arm64.deb                           18-Oct-2016 05:59            15662064
acl2_7.2dfsg-3_armel.deb                           19-Oct-2016 05:29            14448992
acl2_7.2dfsg-3_armhf.deb                           19-Oct-2016 01:33            14667266
acl2_7.2dfsg-3_i386.deb                            17-Oct-2016 23:35            15612446
acl2_7.2dfsg-3_mips.deb                            18-Oct-2016 15:12            15777422
acl2_7.2dfsg-3_mips64el.deb                        20-Oct-2016 00:31            15638634
acl2_7.2dfsg-3_mipsel.deb                          19-Oct-2016 14:45            15862264
acl2_7.2dfsg-3_ppc64el.deb                         17-Oct-2016 22:34            16352970
acl2_7.2dfsg-3_s390x.deb                           18-Oct-2016 07:30            16040930
acl2_7.2dfsg.orig.tar.gz                           14-Apr-2016 13:54            64411749