Index of /ubuntu/pool/universe/l/ladr
Name
Last modified
Size
Parent Directory
-
ladr_0.0.200806a-1.diff.gz
2008-07-04 08:05
20K
ladr_0.0.200806a-1.dsc
2008-07-04 08:05
1.1K
ladr_0.0.200806a.orig.tar.gz
2008-07-04 08:05
1.6M
libladr-dev_0.0.200806a-1_i386.deb
2008-07-04 11:06
335K
libladr4_0.0.200806a-1_i386.deb
2008-07-04 11:06
206K
prover9_0.0.200806a-1_i386.deb
2008-07-04 11:06
109K
ladr4-apps_0.0.200806a-1_i386.deb
2008-07-04 11:06
324K
ladr4-apps_0.0.200806a-1_lpia.deb
2008-07-04 11:06
330K
libladr-dev_0.0.200806a-1_lpia.deb
2008-07-04 11:06
338K
libladr4_0.0.200806a-1_lpia.deb
2008-07-04 11:06
204K
prover9_0.0.200806a-1_lpia.deb
2008-07-04 11:06
110K
ladr4-apps_0.0.200806a-1_sparc.deb
2008-07-04 13:06
344K
libladr-dev_0.0.200806a-1_sparc.deb
2008-07-04 13:06
344K
libladr4_0.0.200806a-1_sparc.deb
2008-07-04 13:06
198K
prover9_0.0.200806a-1_sparc.deb
2008-07-04 13:06
113K
ladr4-apps_0.0.200806a-1_amd64.deb
2008-07-04 14:04
357K
libladr-dev_0.0.200806a-1_amd64.deb
2008-07-04 14:04
379K
libladr4_0.0.200806a-1_amd64.deb
2008-07-04 14:04
222K
prover9_0.0.200806a-1_amd64.deb
2008-07-04 14:04
118K
ladr4-apps_0.0.200806a-1_ia64.deb
2008-07-04 19:04
492K
libladr-dev_0.0.200806a-1_ia64.deb
2008-07-04 19:04
489K
libladr4_0.0.200806a-1_ia64.deb
2008-07-04 19:04
297K
prover9_0.0.200806a-1_ia64.deb
2008-07-04 19:04
156K
libladr-dev_0.0.200806a-1_powerpc.deb
2008-07-04 23:04
370K
libladr4_0.0.200806a-1_powerpc.deb
2008-07-04 23:04
225K
prover9_0.0.200806a-1_powerpc.deb
2008-07-04 23:04
126K
ladr4-apps_0.0.200806a-1_powerpc.deb
2008-07-04 23:04
380K
libladr4_0.0.200806a-1_hppa.deb
2008-07-07 07:04
221K
prover9_0.0.200806a-1_hppa.deb
2008-07-07 07:04
118K
libladr-dev_0.0.200806a-1_hppa.deb
2008-07-07 07:04
392K
ladr4-apps_0.0.200806a-1_hppa.deb
2008-07-07 07:04
355K
ladr_0.0.200811a-1ubuntu1.diff.gz
2009-02-19 01:06
17K
ladr_0.0.200811a-1ubuntu1.dsc
2009-02-19 01:06
1.2K
ladr_0.0.200811a.orig.tar.gz
2009-02-19 01:06
1.7M
ladr4-apps_0.0.200811a-1ubuntu1_i386.deb
2009-02-19 06:06
327K
libladr-dev_0.0.200811a-1ubuntu1_i386.deb
2009-02-19 06:06
344K
libladr4_0.0.200811a-1ubuntu1_i386.deb
2009-02-19 06:06
213K
prover9_0.0.200811a-1ubuntu1_i386.deb
2009-02-19 06:06
114K
prover9_0.0.200811a-1ubuntu1_lpia.deb
2009-02-19 06:06
115K
ladr4-apps_0.0.200811a-1ubuntu1_lpia.deb
2009-02-19 06:06
333K
libladr-dev_0.0.200811a-1ubuntu1_lpia.deb
2009-02-19 06:06
347K
libladr4_0.0.200811a-1ubuntu1_lpia.deb
2009-02-19 06:06
211K
libladr4_0.0.200811a-1ubuntu1_amd64.deb
2009-02-19 09:04
230K
prover9_0.0.200811a-1ubuntu1_amd64.deb
2009-02-19 09:04
124K
ladr4-apps_0.0.200811a-1ubuntu1_amd64.deb
2009-02-19 09:04
360K
libladr-dev_0.0.200811a-1ubuntu1_amd64.deb
2009-02-19 09:04
387K
libladr4_0.0.200811a-1ubuntu1_powerpc.deb
2009-02-19 09:04
235K
prover9_0.0.200811a-1ubuntu1_powerpc.deb
2009-02-19 09:04
132K
ladr4-apps_0.0.200811a-1ubuntu1_powerpc.deb
2009-02-19 09:04
385K
libladr-dev_0.0.200811a-1ubuntu1_powerpc.deb
2009-02-19 09:04
381K
ladr4-apps_0.0.200811a-1ubuntu1_sparc.deb
2009-02-19 23:04
349K
libladr-dev_0.0.200811a-1ubuntu1_sparc.deb
2009-02-19 23:04
354K
libladr4_0.0.200811a-1ubuntu1_sparc.deb
2009-02-19 23:04
205K
prover9_0.0.200811a-1ubuntu1_sparc.deb
2009-02-19 23:04
119K
libladr4_0.0.200811a-1ubuntu1_hppa.deb
2009-02-21 06:05
229K
prover9_0.0.200811a-1ubuntu1_hppa.deb
2009-02-21 06:05
124K
ladr4-apps_0.0.200811a-1ubuntu1_hppa.deb
2009-02-21 06:05
360K
libladr-dev_0.0.200811a-1ubuntu1_hppa.deb
2009-02-21 06:05
403K
ladr4-apps_0.0.200811a-1ubuntu1_ia64.deb
2009-02-21 06:05
498K
libladr-dev_0.0.200811a-1ubuntu1_ia64.deb
2009-02-21 06:05
501K
libladr4_0.0.200811a-1ubuntu1_ia64.deb
2009-02-21 06:05
306K
prover9_0.0.200811a-1ubuntu1_ia64.deb
2009-02-21 06:05
165K
libladr-dev_0.0.200811a-1ubuntu1_armel.deb
2009-02-21 11:04
346K
libladr4_0.0.200811a-1ubuntu1_armel.deb
2009-02-21 11:04
195K
prover9_0.0.200811a-1ubuntu1_armel.deb
2009-02-21 11:04
117K
ladr4-apps_0.0.200811a-1ubuntu1_armel.deb
2009-02-21 11:04
328K
ladr_0.0.200902a.orig.tar.gz
2009-04-30 10:04
1.9M
ladr_0.0.200902a-2.diff.gz
2009-05-18 12:04
17K
ladr_0.0.200902a-2.dsc
2009-05-18 12:04
1.1K
libladr-dev_0.0.200902a-2_lpia.deb
2009-05-18 13:06
351K
libladr4_0.0.200902a-2_lpia.deb
2009-05-18 13:06
218K
prover9_0.0.200902a-2_lpia.deb
2009-05-18 13:06
114K
ladr4-apps_0.0.200902a-2_lpia.deb
2009-05-18 13:06
329K
ladr4-apps_0.0.200902a-2_i386.deb
2009-05-18 14:04
343K
libladr-dev_0.0.200902a-2_i386.deb
2009-05-18 14:04
368K
libladr4_0.0.200902a-2_i386.deb
2009-05-18 14:04
240K
prover9_0.0.200902a-2_i386.deb
2009-05-18 14:04
119K
prover9_0.0.200902a-2_amd64.deb
2009-05-18 16:04
126K
ladr4-apps_0.0.200902a-2_amd64.deb
2009-05-18 16:04
365K
libladr-dev_0.0.200902a-2_amd64.deb
2009-05-18 16:04
396K
libladr4_0.0.200902a-2_amd64.deb
2009-05-18 16:04
237K
libladr4_0.0.200902a-2_powerpc.deb
2009-05-18 16:04
265K
prover9_0.0.200902a-2_powerpc.deb
2009-05-18 16:04
129K
ladr4-apps_0.0.200902a-2_powerpc.deb
2009-05-18 16:04
375K
libladr-dev_0.0.200902a-2_powerpc.deb
2009-05-18 16:04
413K
ladr4-apps_0.0.200902a-2_ia64.deb
2009-05-18 23:04
506K
libladr-dev_0.0.200902a-2_ia64.deb
2009-05-18 23:04
515K
libladr4_0.0.200902a-2_ia64.deb
2009-05-18 23:04
317K
prover9_0.0.200902a-2_ia64.deb
2009-05-18 23:04
168K
libladr-dev_0.0.200902a-2_armel.deb
2009-05-19 11:04
366K
libladr4_0.0.200902a-2_armel.deb
2009-05-19 11:04
218K
prover9_0.0.200902a-2_armel.deb
2009-05-19 11:04
123K
ladr4-apps_0.0.200902a-2_armel.deb
2009-05-19 11:04
346K
prover9_0.0.200902a-2_sparc.deb
2009-05-21 11:04
125K
ladr4-apps_0.0.200902a-2_sparc.deb
2009-05-21 11:04
367K
libladr-dev_0.0.200902a-2_sparc.deb
2009-05-21 11:04
377K
libladr4_0.0.200902a-2_sparc.deb
2009-05-21 11:04
230K
libladr4_0.0.200902a-2_armhf.deb
2011-12-07 00:19
162K
prover9_0.0.200902a-2_armhf.deb
2011-12-07 00:19
91K
ladr4-apps_0.0.200902a-2_armhf.deb
2011-12-07 00:19
298K
libladr-dev_0.0.200902a-2_armhf.deb
2011-12-07 00:19
312K
ladr_0.0.200902a-2.1.diff.gz
2012-04-30 23:54
18K
ladr_0.0.200902a-2.1.dsc
2012-04-30 23:54
1.9K
prover9_0.0.200902a-2.1_i386.deb
2012-05-01 07:35
98K
ladr4-apps_0.0.200902a-2.1_i386.deb
2012-05-01 07:35
321K
libladr-dev_0.0.200902a-2.1_i386.deb
2012-05-01 07:35
356K
libladr4_0.0.200902a-2.1_i386.deb
2012-05-01 07:35
221K
libladr4_0.0.200902a-2.1_amd64.deb
2012-05-01 11:04
215K
prover9_0.0.200902a-2.1_amd64.deb
2012-05-01 11:04
104K
ladr4-apps_0.0.200902a-2.1_amd64.deb
2012-05-01 11:04
335K
libladr-dev_0.0.200902a-2.1_amd64.deb
2012-05-01 11:04
379K
libladr-dev_0.0.200902a-2.1_armhf.deb
2012-05-02 11:34
313K
libladr4_0.0.200902a-2.1_armhf.deb
2012-05-02 11:34
163K
prover9_0.0.200902a-2.1_armhf.deb
2012-05-02 11:34
92K
ladr4-apps_0.0.200902a-2.1_armhf.deb
2012-05-02 11:34
299K
ladr4-apps_0.0.200902a-2.1_armel.deb
2012-05-02 17:03
324K
libladr-dev_0.0.200902a-2.1_armel.deb
2012-05-02 17:03
325K
libladr4_0.0.200902a-2.1_armel.deb
2012-05-02 17:03
177K
prover9_0.0.200902a-2.1_armel.deb
2012-05-02 17:03
99K
ladr4-apps_0.0.200902a-2.1_powerpc.deb
2012-05-02 21:35
322K
libladr-dev_0.0.200902a-2.1_powerpc.deb
2012-05-02 21:35
364K
libladr4_0.0.200902a-2.1_powerpc.deb
2012-05-02 21:35
211K
prover9_0.0.200902a-2.1_powerpc.deb
2012-05-02 21:35
97K
ladr_0.0.200911a-2.debian.tar.gz
2013-05-25 17:33
22K
ladr_0.0.200911a-2.dsc
2013-05-25 17:33
1.3K
ladr_0.0.200911a.orig.tar.gz
2013-05-25 17:33
1.7M
prover9_0.0.200911a-2_amd64.deb
2013-05-25 19:03
96K
ladr4-apps_0.0.200911a-2_amd64.deb
2013-05-25 19:03
314K
libladr-dev_0.0.200911a-2_amd64.deb
2013-05-25 19:03
349K
libladr4_0.0.200911a-2_amd64.deb
2013-05-25 19:03
194K
ladr4-apps_0.0.200911a-2_armhf.deb
2013-05-25 19:03
286K
libladr-dev_0.0.200911a-2_armhf.deb
2013-05-25 19:03
314K
libladr4_0.0.200911a-2_armhf.deb
2013-05-25 19:03
156K
prover9_0.0.200911a-2_armhf.deb
2013-05-25 19:03
89K
prover9_0.0.200911a-2_i386.deb
2013-05-25 19:03
89K
ladr4-apps_0.0.200911a-2_i386.deb
2013-05-25 19:03
298K
libladr-dev_0.0.200911a-2_i386.deb
2013-05-25 19:03
329K
libladr4_0.0.200911a-2_i386.deb
2013-05-25 19:03
197K
ladr4-apps_0.0.200911a-2_powerpc.deb
2013-05-25 21:34
297K
libladr-dev_0.0.200911a-2_powerpc.deb
2013-05-25 21:34
336K
libladr4_0.0.200911a-2_powerpc.deb
2013-05-25 21:34
188K
prover9_0.0.200911a-2_powerpc.deb
2013-05-25 21:34
89K
libladr-dev_0.0.200911a-2_arm64.deb
2013-10-25 18:03
336K
libladr4_0.0.200911a-2_arm64.deb
2013-10-25 18:03
167K
prover9_0.0.200911a-2_arm64.deb
2013-10-25 18:03
95K
ladr4-apps_0.0.200911a-2_arm64.deb
2013-10-25 18:03
308K
libladr4_0.0.200911a-2_ppc64el.deb
2014-02-19 04:08
141K
ladr4-apps_0.0.200911a-2_ppc64el.deb
2014-02-19 04:08
106K
libladr-dev_0.0.200911a-2_ppc64el.deb
2014-02-19 04:08
241K
prover9_0.0.200911a-2_ppc64el.deb
2014-02-19 04:09
67K
ladr_0.0.200911a-2.1.debian.tar.xz
2014-10-24 09:05
19K
ladr_0.0.200911a-2.1.dsc
2014-10-24 09:05
1.3K
libladr-dev_0.0.200911a-2.1_armhf.deb
2014-10-24 15:16
223K
ladr4-apps_0.0.200911a-2.1_armhf.deb
2014-10-24 15:16
106K
libladr4_0.0.200911a-2.1_armhf.deb
2014-10-24 15:16
135K
prover9_0.0.200911a-2.1_armhf.deb
2014-10-24 15:16
68K
ladr4-apps_0.0.200911a-2.1_powerpc.deb
2014-10-24 19:49
93K
libladr-dev_0.0.200911a-2.1_powerpc.deb
2014-10-24 19:49
228K
libladr4_0.0.200911a-2.1_powerpc.deb
2014-10-24 19:49
141K
prover9_0.0.200911a-2.1_powerpc.deb
2014-10-24 19:49
65K
libladr-dev_0.0.200911a-2.1_amd64.deb
2014-10-24 21:36
248K
ladr4-apps_0.0.200911a-2.1_amd64.deb
2014-10-24 21:36
126K
libladr4_0.0.200911a-2.1_amd64.deb
2014-10-24 21:36
162K
prover9_0.0.200911a-2.1_amd64.deb
2014-10-24 21:36
74K
ladr4-apps_0.0.200911a-2.1_i386.deb
2014-10-24 21:38
117K
libladr-dev_0.0.200911a-2.1_i386.deb
2014-10-24 21:38
256K
libladr4_0.0.200911a-2.1_i386.deb
2014-10-24 21:38
182K
prover9_0.0.200911a-2.1_i386.deb
2014-10-24 21:38
76K
libladr4_0.0.200911a-2.1_ppc64el.deb
2014-10-24 21:39
146K
libladr-dev_0.0.200911a-2.1_ppc64el.deb
2014-10-24 21:39
245K
prover9_0.0.200911a-2.1_ppc64el.deb
2014-10-24 21:39
68K
ladr4-apps_0.0.200911a-2.1_ppc64el.deb
2014-10-24 21:39
109K
libladr4_0.0.200911a-2.1_arm64.deb
2014-10-25 04:01
133K
prover9_0.0.200911a-2.1_arm64.deb
2014-10-25 04:01
69K
ladr4-apps_0.0.200911a-2.1_arm64.deb
2014-10-25 04:01
113K
libladr-dev_0.0.200911a-2.1_arm64.deb
2014-10-25 04:01
229K
ladr_0.0.200911a-2.1build1.debian.tar.xz
2018-04-04 21:14
19K
ladr_0.0.200911a-2.1build1.dsc
2018-04-04 21:14
2.1K
libladr-dev_0.0.200911a-2.1build1_arm64.deb
2018-04-04 21:14
236K
libladr4_0.0.200911a-2.1build1_arm64.deb
2018-04-04 21:14
137K
ladr4-apps_0.0.200911a-2.1build1_arm64.deb
2018-04-04 21:14
107K
prover9_0.0.200911a-2.1build1_arm64.deb
2018-04-04 21:14
68K
ladr4-apps_0.0.200911a-2.1build1_armhf.deb
2018-04-04 21:14
107K
libladr-dev_0.0.200911a-2.1build1_armhf.deb
2018-04-04 21:14
233K
libladr4_0.0.200911a-2.1build1_armhf.deb
2018-04-04 21:14
135K
prover9_0.0.200911a-2.1build1_armhf.deb
2018-04-04 21:14
70K
ladr4-apps_0.0.200911a-2.1build1_i386.deb
2018-04-04 21:14
131K
libladr-dev_0.0.200911a-2.1build1_i386.deb
2018-04-04 21:14
281K
libladr4_0.0.200911a-2.1build1_i386.deb
2018-04-04 21:14
185K
prover9_0.0.200911a-2.1build1_i386.deb
2018-04-04 21:14
83K
prover9_0.0.200911a-2.1build1_ppc64el.deb
2018-04-04 21:14
73K
ladr4-apps_0.0.200911a-2.1build1_ppc64el.deb
2018-04-04 21:14
115K
libladr-dev_0.0.200911a-2.1build1_ppc64el.deb
2018-04-04 21:14
255K
libladr4_0.0.200911a-2.1build1_ppc64el.deb
2018-04-04 21:14
155K
ladr4-apps_0.0.200911a-2.1build1_s390x.deb
2018-04-04 21:14
120K
libladr-dev_0.0.200911a-2.1build1_s390x.deb
2018-04-04 21:14
254K
libladr4_0.0.200911a-2.1build1_s390x.deb
2018-04-04 21:14
161K
prover9_0.0.200911a-2.1build1_s390x.deb
2018-04-04 21:14
75K
ladr4-apps_0.0.200911a-2.1build1_amd64.deb
2018-04-04 21:23
134K
libladr-dev_0.0.200911a-2.1build1_amd64.deb
2018-04-04 21:23
256K
libladr4_0.0.200911a-2.1build1_amd64.deb
2018-04-04 21:23
164K
prover9_0.0.200911a-2.1build1_amd64.deb
2018-04-04 21:23
76K
ladr4-apps_0.0.200911a-2.1_s390x.deb
2018-06-13 09:03
120K
libladr-dev_0.0.200911a-2.1_s390x.deb
2018-06-13 09:23
252K
libladr4_0.0.200911a-2.1_s390x.deb
2018-06-13 09:23
160K
prover9_0.0.200911a-2.1_s390x.deb
2018-06-13 09:51
74K
Apache/2.4.52 (Ubuntu) Server at 91.189.91.90 Port 80