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

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