Index of /software/unix/Linux/debian-archive/debian/pool/main/l/ladr

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