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