Index of /anvil/pool/universe/l/ladr
Name
Last modified
Size
Description
Parent Directory
-
ladr_0.0.200902a.orig.tar.gz
2009-04-30 11:04
1.9M
ladr_0.0.200911a.orig.tar.gz
2015-01-04 16:28
1.7M
libladr-dev_0.0.200902a-2_amd64.deb
2009-05-18 17:04
396K
libladr-dev_0.0.200902a-2.1_amd64.deb
2012-10-05 23:14
379K
libladr-dev_0.0.200902a-2_i386.deb
2009-05-18 15:04
368K
ladr4-apps_0.0.200902a-2_amd64.deb
2009-05-18 17:04
365K
libladr-dev_0.0.200902a-2.1_i386.deb
2012-09-27 07:15
356K
libladr-dev_0.0.200911a-2_amd64.deb
2013-10-03 13:27
349K
ladr4-apps_0.0.200902a-2_i386.deb
2009-05-18 15:04
343K
ladr4-apps_0.0.200902a-2.1_amd64.deb
2012-10-05 23:15
335K
libladr-dev_0.0.200911a-2_i386.deb
2013-09-23 20:25
329K
ladr4-apps_0.0.200902a-2.1_i386.deb
2012-09-27 07:15
321K
ladr4-apps_0.0.200911a-2_amd64.deb
2013-10-03 13:27
314K
ladr4-apps_0.0.200911a-2_i386.deb
2013-09-23 20:25
298K
libladr-dev_0.0.200911a-2.1_i386.deb
2015-04-27 03:12
256K
libladr-dev_0.0.200911a-2.1_amd64.deb
2015-05-09 14:44
248K
libladr4_0.0.200902a-2_i386.deb
2009-05-18 15:04
240K
libladr4_0.0.200902a-2_amd64.deb
2009-05-18 17:04
237K
libladr4_0.0.200902a-2.1_i386.deb
2012-09-27 07:15
221K
libladr4_0.0.200902a-2.1_amd64.deb
2012-10-05 23:14
215K
libladr4_0.0.200911a-2_i386.deb
2013-09-23 20:25
197K
libladr4_0.0.200911a-2_amd64.deb
2013-10-03 13:28
194K
libladr4_0.0.200911a-2.1_i386.deb
2015-04-27 03:12
182K
libladr4_0.0.200911a-2.1_amd64.deb
2015-05-09 14:43
162K
ladr4-apps_0.0.200911a-2.1_amd64.deb
2015-05-09 14:43
126K
prover9_0.0.200902a-2_amd64.deb
2009-05-18 17:04
126K
prover9_0.0.200902a-2_i386.deb
2009-05-18 15:04
119K
ladr4-apps_0.0.200911a-2.1_i386.deb
2015-04-27 03:12
117K
prover9_0.0.200902a-2.1_amd64.deb
2012-10-05 23:15
104K
prover9_0.0.200902a-2.1_i386.deb
2012-09-27 07:15
98K
prover9_0.0.200911a-2_amd64.deb
2013-10-03 13:27
96K
prover9_0.0.200911a-2_i386.deb
2013-09-23 20:25
89K
prover9_0.0.200911a-2.1_i386.deb
2015-04-27 03:12
76K
prover9_0.0.200911a-2.1_amd64.deb
2015-05-09 14:42
74K
ladr_0.0.200911a-2.debian.tar.gz
2015-01-04 16:28
22K
ladr_0.0.200911a-2.1.debian.tar.xz
2015-05-16 06:11
19K
ladr_0.0.200902a-2.1.diff.gz
2012-09-26 09:46
18K
ladr_0.0.200902a-2.diff.gz
2009-05-18 13:04
17K
ladr_0.0.200902a-2.1.dsc
2012-09-26 09:46
1.9K
ladr_0.0.200911a-2.1.dsc
2015-05-16 06:11
1.3K
ladr_0.0.200911a-2.dsc
2015-01-04 16:28
1.3K
ladr_0.0.200902a-2.dsc
2009-05-18 13:04
1.1K