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

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