Index of /debian-archive/debian/pool/main/l/ladr

Icon  Name                                           Last modified      Size  
[PARENTDIR] Parent Directory                                                    -   
[   ] ladr4-apps_0.0.200806a-1_i386.deb              2008-06-29 17:17  323K  
[   ] ladr_0.0.200806a-1.diff.gz                     2008-06-29 17:17   20K  
[TXT] ladr_0.0.200806a-1.dsc                         2008-06-29 17:17  1.1K  
[   ] ladr_0.0.200806a.orig.tar.gz                   2008-06-29 17:17  1.6M  
[   ] libladr-dev_0.0.200806a-1_i386.deb             2008-06-29 17:17  334K  
[   ] libladr4_0.0.200806a-1_i386.deb                2008-06-29 17:17  205K  
[   ] prover9_0.0.200806a-1_i386.deb                 2008-06-29 17:17  108K  
[   ] ladr4-apps_0.0.200806a-1_amd64.deb             2008-06-29 17:47  355K  
[   ] libladr-dev_0.0.200806a-1_amd64.deb            2008-06-29 17:47  376K  
[   ] libladr4_0.0.200806a-1_amd64.deb               2008-06-29 17:47  221K  
[   ] prover9_0.0.200806a-1_amd64.deb                2008-06-29 17:47  120K  
[   ] ladr4-apps_0.0.200806a-1_armel.deb             2008-06-30 01:47  324K  
[   ] libladr-dev_0.0.200806a-1_armel.deb            2008-06-30 01:47  338K  
[   ] libladr4_0.0.200806a-1_armel.deb               2008-06-30 01:47  187K  
[   ] prover9_0.0.200806a-1_armel.deb                2008-06-30 01:47  112K  
[   ] libladr4_0.0.200806a-1_arm.deb                 2008-06-30 03:47  183K  
[   ] ladr4-apps_0.0.200806a-1_arm.deb               2008-06-30 03:47  311K  
[   ] libladr-dev_0.0.200806a-1_arm.deb              2008-06-30 03:47  334K  
[   ] prover9_0.0.200806a-1_arm.deb                  2008-06-30 03:47  106K  
[   ] ladr4-apps_0.0.200806a-1_s390.deb              2008-06-30 09:32  372K  
[   ] libladr4_0.0.200806a-1_s390.deb                2008-06-30 09:32  235K  
[   ] libladr-dev_0.0.200806a-1_s390.deb             2008-06-30 09:32  370K  
[   ] prover9_0.0.200806a-1_s390.deb                 2008-06-30 09:32  122K  
[   ] ladr4-apps_0.0.200806a-1_mipsel.deb            2008-06-30 13:17  329K  
[   ] ladr4-apps_0.0.200806a-1_powerpc.deb           2008-06-30 13:17  406K  
[   ] libladr-dev_0.0.200806a-1_mipsel.deb           2008-06-30 13:17  391K  
[   ] libladr-dev_0.0.200806a-1_powerpc.deb          2008-06-30 13:17  369K  
[   ] libladr4_0.0.200806a-1_mipsel.deb              2008-06-30 13:17  194K  
[   ] libladr4_0.0.200806a-1_powerpc.deb             2008-06-30 13:17  224K  
[   ] prover9_0.0.200806a-1_mipsel.deb               2008-06-30 13:17  113K  
[   ] prover9_0.0.200806a-1_powerpc.deb              2008-06-30 13:17  132K  
[   ] ladr4-apps_0.0.200806a-1_mips.deb              2008-06-30 18:32  330K  
[   ] libladr-dev_0.0.200806a-1_mips.deb             2008-06-30 18:32  393K  
[   ] libladr4_0.0.200806a-1_mips.deb                2008-06-30 18:32  194K  
[   ] prover9_0.0.200806a-1_mips.deb                 2008-06-30 18:32  114K  
[   ] ladr4-apps_0.0.200806a-1_sparc.deb             2008-07-01 17:17  338K  
[   ] libladr-dev_0.0.200806a-1_sparc.deb            2008-07-01 17:17  343K  
[   ] libladr4_0.0.200806a-1_sparc.deb               2008-07-01 17:17  197K  
[   ] prover9_0.0.200806a-1_sparc.deb                2008-07-01 17:17  113K  
[   ] ladr4-apps_0.0.200806a-1_hppa.deb              2008-07-01 23:48  351K  
[   ] ladr4-apps_0.0.200806a-1_ia64.deb              2008-07-01 23:48  489K  
[   ] libladr-dev_0.0.200806a-1_hppa.deb             2008-07-01 23:48  392K  
[   ] libladr-dev_0.0.200806a-1_ia64.deb             2008-07-01 23:48  488K  
[   ] libladr4_0.0.200806a-1_hppa.deb                2008-07-01 23:48  220K  
[   ] libladr4_0.0.200806a-1_ia64.deb                2008-07-01 23:48  296K  
[   ] prover9_0.0.200806a-1_hppa.deb                 2008-07-01 23:48  119K  
[   ] prover9_0.0.200806a-1_ia64.deb                 2008-07-01 23:48  154K  
[   ] ladr4-apps_0.0.200806a-1_alpha.deb             2008-07-09 19:02  373K  
[   ] libladr-dev_0.0.200806a-1_alpha.deb            2008-07-09 19:02  461K  
[   ] libladr4_0.0.200806a-1_alpha.deb               2008-07-09 19:02  236K  
[   ] prover9_0.0.200806a-1_alpha.deb                2008-07-09 19:02  123K  
[   ] ladr_0.0.200902a.orig.tar.gz                   2009-03-14 20:32  1.9M  
[   ] ladr4-apps_0.0.200902a-2_amd64.deb             2009-05-03 12:47  361K  
[   ] ladr_0.0.200902a-2.diff.gz                     2009-05-03 12:47   17K  
[TXT] ladr_0.0.200902a-2.dsc                         2009-05-03 12:47  1.1K  
[   ] libladr-dev_0.0.200902a-2_amd64.deb            2009-05-03 12:47  392K  
[   ] libladr4_0.0.200902a-2_amd64.deb               2009-05-03 12:47  233K  
[   ] prover9_0.0.200902a-2_amd64.deb                2009-05-03 12:47  125K  
[   ] ladr4-apps_0.0.200902a-2_i386.deb              2009-05-03 13:47  327K  
[   ] libladr-dev_0.0.200902a-2_i386.deb             2009-05-03 13:47  348K  
[   ] libladr4_0.0.200902a-2_i386.deb                2009-05-03 13:47  215K  
[   ] prover9_0.0.200902a-2_i386.deb                 2009-05-03 13:47  115K  
[   ] libladr4_0.0.200902a-2_sparc.deb               2009-05-03 16:19  208K  
[   ] ladr4-apps_0.0.200902a-2_sparc.deb             2009-05-03 16:19  348K  
[   ] libladr-dev_0.0.200902a-2_sparc.deb            2009-05-03 16:19  359K  
[   ] prover9_0.0.200902a-2_sparc.deb                2009-05-03 16:19  120K  
[   ] ladr4-apps_0.0.200902a-2_armel.deb             2009-05-03 16:32  331K  
[   ] libladr-dev_0.0.200902a-2_armel.deb            2009-05-03 16:32  355K  
[   ] libladr4_0.0.200902a-2_armel.deb               2009-05-03 16:32  198K  
[   ] prover9_0.0.200902a-2_armel.deb                2009-05-03 16:32  117K  
[   ] ladr4-apps_0.0.200902a-2_powerpc.deb           2009-05-04 10:34  388K  
[   ] libladr-dev_0.0.200902a-2_powerpc.deb          2009-05-04 10:34  385K  
[   ] libladr4_0.0.200902a-2_powerpc.deb             2009-05-04 10:34  238K  
[   ] prover9_0.0.200902a-2_powerpc.deb              2009-05-04 10:34  134K  
[   ] ladr4-apps_0.0.200902a-2_ia64.deb              2009-05-06 14:49  500K  
[   ] libladr-dev_0.0.200902a-2_ia64.deb             2009-05-06 14:49  509K  
[   ] libladr4_0.0.200902a-2_ia64.deb                2009-05-06 14:49  312K  
[   ] prover9_0.0.200902a-2_ia64.deb                 2009-05-06 14:49  165K  
[   ] ladr4-apps_0.0.200902a-2_s390.deb              2009-05-08 06:04  380K  
[   ] libladr-dev_0.0.200902a-2_s390.deb             2009-05-08 06:04  385K  
[   ] libladr4_0.0.200902a-2_s390.deb                2009-05-08 06:04  246K  
[   ] prover9_0.0.200902a-2_s390.deb                 2009-05-08 06:04  130K  
[   ] ladr4-apps_0.0.200902a-2_mips.deb              2009-05-09 07:47  339K  
[   ] libladr-dev_0.0.200902a-2_mips.deb             2009-05-09 07:47  410K  
[   ] libladr4_0.0.200902a-2_mips.deb                2009-05-09 07:47  206K  
[   ] prover9_0.0.200902a-2_mips.deb                 2009-05-09 07:47  120K  
[   ] ladr4-apps_0.0.200902a-2_mipsel.deb            2009-05-10 10:28  336K  
[   ] libladr-dev_0.0.200902a-2_mipsel.deb           2009-05-10 10:28  410K  
[   ] libladr4_0.0.200902a-2_mipsel.deb              2009-05-10 10:28  206K  
[   ] prover9_0.0.200902a-2_mipsel.deb               2009-05-10 10:28  120K  
[   ] libladr-dev_0.0.200902a-2_kfreebsd-amd64.deb   2009-06-01 16:50  391K  
[   ] prover9_0.0.200902a-2_kfreebsd-amd64.deb       2009-06-01 16:50  124K  
[   ] ladr4-apps_0.0.200902a-2_kfreebsd-amd64.deb    2009-06-01 16:50  361K  
[   ] libladr4_0.0.200902a-2_kfreebsd-amd64.deb      2009-06-01 16:50  233K  
[   ] ladr4-apps_0.0.200902a-2_kfreebsd-i386.deb     2009-06-05 16:34  329K  
[   ] libladr-dev_0.0.200902a-2_kfreebsd-i386.deb    2009-06-05 16:34  349K  
[   ] libladr4_0.0.200902a-2_kfreebsd-i386.deb       2009-06-05 16:34  216K  
[   ] prover9_0.0.200902a-2_kfreebsd-i386.deb        2009-06-05 16:34  115K  
[   ] ladr4-apps_0.0.200902a-2.1_amd64.deb           2012-01-12 19:48  362K  
[   ] ladr_0.0.200902a-2.1.diff.gz                   2012-01-12 19:48   18K  
[TXT] ladr_0.0.200902a-2.1.dsc                       2012-01-12 19:48  1.9K  
[   ] libladr-dev_0.0.200902a-2.1_amd64.deb          2012-01-12 19:48  398K  
[   ] libladr4_0.0.200902a-2.1_amd64.deb             2012-01-12 19:48  239K  
[   ] prover9_0.0.200902a-2.1_amd64.deb              2012-01-12 19:48  125K  
[   ] ladr4-apps_0.0.200902a-2.1_armhf.deb           2012-01-12 20:49  328K  
[   ] libladr-dev_0.0.200902a-2.1_armhf.deb          2012-01-12 20:49  337K  
[   ] libladr4_0.0.200902a-2.1_armhf.deb             2012-01-12 20:49  187K  
[   ] prover9_0.0.200902a-2.1_armhf.deb              2012-01-12 20:49  115K  
[   ] libladr4_0.0.200902a-2.1_i386.deb              2012-01-12 20:50  245K  
[   ] ladr4-apps_0.0.200902a-2.1_i386.deb            2012-01-12 20:50  348K  
[   ] libladr-dev_0.0.200902a-2.1_i386.deb           2012-01-12 20:50  379K  
[   ] prover9_0.0.200902a-2.1_i386.deb               2012-01-12 20:50  121K  
[   ] libladr4_0.0.200902a-2.1_ia64.deb              2012-01-12 20:50  317K  
[   ] ladr4-apps_0.0.200902a-2.1_ia64.deb            2012-01-12 20:50  504K  
[   ] libladr-dev_0.0.200902a-2.1_ia64.deb           2012-01-12 20:50  516K  
[   ] prover9_0.0.200902a-2.1_ia64.deb               2012-01-12 20:50  168K  
[   ] libladr4_0.0.200902a-2.1_kfreebsd-amd64.deb    2012-01-12 20:50  240K  
[   ] libladr-dev_0.0.200902a-2.1_kfreebsd-amd64.deb 2012-01-12 20:50  402K  
[   ] prover9_0.0.200902a-2.1_kfreebsd-amd64.deb     2012-01-12 20:50  126K  
[   ] ladr4-apps_0.0.200902a-2.1_kfreebsd-amd64.deb  2012-01-12 20:50  363K  
[   ] prover9_0.0.200902a-2.1_kfreebsd-i386.deb      2012-01-12 20:50  121K  
[   ] ladr4-apps_0.0.200902a-2.1_kfreebsd-i386.deb   2012-01-12 20:50  347K  
[   ] libladr4_0.0.200902a-2.1_kfreebsd-i386.deb     2012-01-12 20:50  245K  
[   ] libladr-dev_0.0.200902a-2.1_kfreebsd-i386.deb  2012-01-12 20:50  379K  
[   ] libladr4_0.0.200902a-2.1_mips.deb              2012-01-12 20:50  214K  
[   ] ladr4-apps_0.0.200902a-2.1_mips.deb            2012-01-12 20:50  325K  
[   ] libladr-dev_0.0.200902a-2.1_mips.deb           2012-01-12 20:50  406K  
[   ] prover9_0.0.200902a-2.1_mips.deb               2012-01-12 20:50  117K  
[   ] libladr4_0.0.200902a-2.1_powerpc.deb           2012-01-12 20:50  232K  
[   ] ladr4-apps_0.0.200902a-2.1_powerpc.deb         2012-01-12 20:50  348K  
[   ] libladr-dev_0.0.200902a-2.1_powerpc.deb        2012-01-12 20:50  381K  
[   ] prover9_0.0.200902a-2.1_powerpc.deb            2012-01-12 20:50  122K  
[   ] libladr-dev_0.0.200902a-2.1_s390.deb           2012-01-12 20:50  393K  
[   ] prover9_0.0.200902a-2.1_s390.deb               2012-01-12 20:50  133K  
[   ] libladr4_0.0.200902a-2.1_s390.deb              2012-01-12 20:50  249K  
[   ] ladr4-apps_0.0.200902a-2.1_s390.deb            2012-01-12 20:50  386K  
[   ] libladr4_0.0.200902a-2.1_s390x.deb             2012-01-12 20:51  247K  
[   ] prover9_0.0.200902a-2.1_s390x.deb              2012-01-12 20:51  135K  
[   ] libladr-dev_0.0.200902a-2.1_s390x.deb          2012-01-12 20:51  413K  
[   ] ladr4-apps_0.0.200902a-2.1_s390x.deb           2012-01-12 20:51  396K  
[   ] ladr4-apps_0.0.200902a-2.1_armel.deb           2012-01-12 21:18  348K  
[   ] libladr-dev_0.0.200902a-2.1_armel.deb          2012-01-12 21:18  353K  
[   ] libladr4_0.0.200902a-2.1_armel.deb             2012-01-12 21:18  200K  
[   ] prover9_0.0.200902a-2.1_armel.deb              2012-01-12 21:18  123K  
[   ] ladr4-apps_0.0.200902a-2.1_sparc.deb           2012-01-12 21:19  331K  
[   ] libladr-dev_0.0.200902a-2.1_sparc.deb          2012-01-12 21:19  366K  
[   ] libladr4_0.0.200902a-2.1_sparc.deb             2012-01-12 21:19  201K  
[   ] prover9_0.0.200902a-2.1_sparc.deb              2012-01-12 21:19  116K  
[   ] ladr4-apps_0.0.200902a-2.1_mipsel.deb          2012-01-12 22:17  323K  
[   ] libladr-dev_0.0.200902a-2.1_mipsel.deb         2012-01-12 22:17  406K  
[   ] libladr4_0.0.200902a-2.1_mipsel.deb            2012-01-12 22:17  214K  
[   ] prover9_0.0.200902a-2.1_mipsel.deb             2012-01-12 22:17  115K  
[   ] ladr_0.0.200911a.orig.tar.gz                   2012-12-12 13:04  1.7M  
[   ] ladr4-apps_0.0.200911a-2.1_amd64.deb           2014-10-09 05:53  153K  
[   ] ladr_0.0.200911a-2.1.debian.tar.xz             2014-10-09 05:53   19K  
[TXT] ladr_0.0.200911a-2.1.dsc                       2014-10-09 05:53  1.3K  
[   ] libladr-dev_0.0.200911a-2.1_amd64.deb          2014-10-09 05:53  271K  
[   ] libladr4_0.0.200911a-2.1_amd64.deb             2014-10-09 05:53  183K  
[   ] prover9_0.0.200911a-2.1_amd64.deb              2014-10-09 05:53   98K  
[   ] libladr-dev_0.0.200911a-2.1_i386.deb           2014-10-14 07:12  278K  
[   ] ladr4-apps_0.0.200911a-2.1_i386.deb            2014-10-14 07:12  155K  
[   ] libladr4_0.0.200911a-2.1_i386.deb              2014-10-14 07:12  202K  
[   ] prover9_0.0.200911a-2.1_i386.deb               2014-10-14 07:12  100K  
[   ] ladr4-apps_0.0.200911a-2.1_powerpc.deb         2014-10-14 07:27  120K  
[   ] libladr-dev_0.0.200911a-2.1_powerpc.deb        2014-10-14 07:27  248K  
[   ] libladr4_0.0.200911a-2.1_powerpc.deb           2014-10-14 07:27  162K  
[   ] prover9_0.0.200911a-2.1_powerpc.deb            2014-10-14 07:27   89K  
[   ] ladr4-apps_0.0.200911a-2.1_s390x.deb           2014-10-14 07:42  152K  
[   ] libladr-dev_0.0.200911a-2.1_s390x.deb          2014-10-14 07:42  278K  
[   ] libladr4_0.0.200911a-2.1_s390x.deb             2014-10-14 07:42  185K  
[   ] prover9_0.0.200911a-2.1_s390x.deb              2014-10-14 07:42  103K  
[   ] ladr4-apps_0.0.200911a-2.1_ppc64el.deb         2014-10-14 08:17  133K  
[   ] libladr-dev_0.0.200911a-2.1_ppc64el.deb        2014-10-14 08:17  265K  
[   ] libladr4_0.0.200911a-2.1_ppc64el.deb           2014-10-14 08:17  167K  
[   ] prover9_0.0.200911a-2.1_ppc64el.deb            2014-10-14 08:17   92K  
[   ] ladr4-apps_0.0.200911a-2.1_arm64.deb           2014-10-14 08:28  140K  
[   ] libladr-dev_0.0.200911a-2.1_arm64.deb          2014-10-14 08:28  248K  
[   ] libladr4_0.0.200911a-2.1_arm64.deb             2014-10-14 08:28  153K  
[   ] prover9_0.0.200911a-2.1_arm64.deb              2014-10-14 08:28   93K  
[   ] ladr4-apps_0.0.200911a-2.1_kfreebsd-amd64.deb  2014-10-14 08:43  154K  
[   ] libladr-dev_0.0.200911a-2.1_kfreebsd-amd64.deb 2014-10-14 08:43  271K  
[   ] libladr4_0.0.200911a-2.1_kfreebsd-amd64.deb    2014-10-14 08:43  183K  
[   ] prover9_0.0.200911a-2.1_kfreebsd-amd64.deb     2014-10-14 08:43   97K  
[   ] ladr4-apps_0.0.200911a-2.1_kfreebsd-i386.deb   2014-10-14 09:34  153K  
[   ] libladr-dev_0.0.200911a-2.1_kfreebsd-i386.deb  2014-10-14 09:34  280K  
[   ] libladr4_0.0.200911a-2.1_kfreebsd-i386.deb     2014-10-14 09:34  203K  
[   ] prover9_0.0.200911a-2.1_kfreebsd-i386.deb      2014-10-14 09:34  101K  
[   ] ladr4-apps_0.0.200911a-2.1_mips.deb            2014-10-14 09:44  129K  
[   ] libladr-dev_0.0.200911a-2.1_mips.deb           2014-10-14 09:44  275K  
[   ] libladr4_0.0.200911a-2.1_mips.deb              2014-10-14 09:44  154K  
[   ] prover9_0.0.200911a-2.1_mips.deb               2014-10-14 09:44   91K  
[   ] ladr4-apps_0.0.200911a-2.1_mipsel.deb          2014-10-14 10:29  135K  
[   ] libladr-dev_0.0.200911a-2.1_mipsel.deb         2014-10-14 10:29  280K  
[   ] libladr4_0.0.200911a-2.1_mipsel.deb            2014-10-14 10:29  157K  
[   ] prover9_0.0.200911a-2.1_mipsel.deb             2014-10-14 10:29   92K  
[   ] libladr-dev_0.0.200911a-2.1_armhf.deb          2014-10-14 10:29  248K  
[   ] libladr4_0.0.200911a-2.1_armhf.deb             2014-10-14 10:29  155K  
[   ] ladr4-apps_0.0.200911a-2.1_armhf.deb           2014-10-14 10:29  134K  
[   ] prover9_0.0.200911a-2.1_armhf.deb              2014-10-14 10:29   92K  
[   ] ladr4-apps_0.0.200911a-2.1_armel.deb           2014-10-14 11:15  131K  
[   ] libladr-dev_0.0.200911a-2.1_armel.deb          2014-10-14 11:15  247K  
[   ] libladr4_0.0.200911a-2.1_armel.deb             2014-10-14 11:15  156K  
[   ] prover9_0.0.200911a-2.1_armel.deb              2014-10-14 11:15   93K  
[   ] ladr4-apps_0.0.200911a-2.1+b2_arm64.deb        2017-02-24 12:12  127K  
[   ] libladr-dev_0.0.200911a-2.1+b2_arm64.deb       2017-02-24 12:12  252K  
[   ] libladr4_0.0.200911a-2.1+b2_arm64.deb          2017-02-24 12:12  153K  
[   ] prover9_0.0.200911a-2.1+b2_arm64.deb           2017-02-24 12:12   91K  
[   ] ladr4-apps_0.0.200911a-2.1+b2_s390x.deb        2017-02-24 12:12  142K  
[   ] libladr-dev_0.0.200911a-2.1+b2_s390x.deb       2017-02-24 12:12  279K  
[   ] libladr4_0.0.200911a-2.1+b2_s390x.deb          2017-02-24 12:12  183K  
[   ] prover9_0.0.200911a-2.1+b2_s390x.deb           2017-02-24 12:12   99K  
[   ] ladr4-apps_0.0.200911a-2.1+b2_ppc64el.deb      2017-02-24 12:28  138K  
[   ] libladr-dev_0.0.200911a-2.1+b2_ppc64el.deb     2017-02-24 12:28  269K  
[   ] libladr4_0.0.200911a-2.1+b2_ppc64el.deb        2017-02-24 12:28  167K  
[   ] prover9_0.0.200911a-2.1+b2_ppc64el.deb         2017-02-24 12:28   95K  
[   ] ladr4-apps_0.0.200911a-2.1+b2_amd64.deb        2017-02-24 12:43  156K  
[   ] libladr-dev_0.0.200911a-2.1+b2_amd64.deb       2017-02-24 12:43  278K  
[   ] libladr4_0.0.200911a-2.1+b2_amd64.deb          2017-02-24 12:43  184K  
[   ] prover9_0.0.200911a-2.1+b2_amd64.deb           2017-02-24 12:43  100K  
[   ] ladr4-apps_0.0.200911a-2.1+b2_mips.deb         2017-02-24 12:43  135K  
[   ] libladr-dev_0.0.200911a-2.1+b2_mips.deb        2017-02-24 12:43  287K  
[   ] libladr4_0.0.200911a-2.1+b2_mips.deb           2017-02-24 12:43  156K  
[   ] prover9_0.0.200911a-2.1+b2_mips.deb            2017-02-24 12:43   95K  
[   ] ladr4-apps_0.0.200911a-2.1+b2_armhf.deb        2017-02-24 12:58  130K  
[   ] libladr-dev_0.0.200911a-2.1+b2_armhf.deb       2017-02-24 12:58  253K  
[   ] libladr4_0.0.200911a-2.1+b2_armhf.deb          2017-02-24 12:58  155K  
[   ] prover9_0.0.200911a-2.1+b2_armhf.deb           2017-02-24 12:58   94K  
[   ] ladr4-apps_0.0.200911a-2.1+b2_armel.deb        2017-02-24 12:58  131K  
[   ] libladr-dev_0.0.200911a-2.1+b2_armel.deb       2017-02-24 12:58  257K  
[   ] libladr4_0.0.200911a-2.1+b2_armel.deb          2017-02-24 12:58  155K  
[   ] prover9_0.0.200911a-2.1+b2_armel.deb           2017-02-24 12:58   94K  
[   ] ladr4-apps_0.0.200911a-2.1+b2_i386.deb         2017-02-24 12:58  153K  
[   ] libladr-dev_0.0.200911a-2.1+b2_i386.deb        2017-02-24 12:58  304K  
[   ] libladr4_0.0.200911a-2.1+b2_i386.deb           2017-02-24 12:58  206K  
[   ] prover9_0.0.200911a-2.1+b2_i386.deb            2017-02-24 12:58  107K  
[   ] ladr4-apps_0.0.200911a-2.1+b2_mips64el.deb     2017-02-24 13:28  139K  
[   ] libladr-dev_0.0.200911a-2.1+b2_mips64el.deb    2017-02-24 13:28  297K  
[   ] libladr4_0.0.200911a-2.1+b2_mips64el.deb       2017-02-24 13:28  159K  
[   ] prover9_0.0.200911a-2.1+b2_mips64el.deb        2017-02-24 13:28   97K  
[   ] ladr4-apps_0.0.200911a-2.1+b2_mipsel.deb       2017-02-24 13:59  139K  
[   ] libladr-dev_0.0.200911a-2.1+b2_mipsel.deb      2017-02-24 13:59  293K  
[   ] libladr4_0.0.200911a-2.1+b2_mipsel.deb         2017-02-24 13:59  160K  
[   ] prover9_0.0.200911a-2.1+b2_mipsel.deb          2017-02-24 13:59   97K