Index of /pub/linux/distributions/debian/deb.freexian.com/extended-lts/pool/main/l/ladr
Name
Last modified
Size
Description
Parent Directory
-
ladr4-apps_0.0.200902a-2.1_amd64.deb
2012-01-13 02:48
362K
ladr4-apps_0.0.200902a-2.1_i386.deb
2012-01-13 03:50
348K
ladr4-apps_0.0.200911a-2.1+b2_amd64.deb
2017-02-24 19:43
156K
ladr4-apps_0.0.200911a-2.1+b2_i386.deb
2017-02-24 19:58
153K
ladr4-apps_0.0.200911a-2.1_amd64.deb
2014-10-09 12:53
153K
ladr4-apps_0.0.200911a-2.1_i386.deb
2014-10-14 14:12
155K
ladr_0.0.200902a-2.1.diff.gz
2012-01-13 02:48
18K
ladr_0.0.200902a-2.1.dsc
2012-01-13 02:48
1.9K
ladr_0.0.200902a.orig.tar.gz
2009-03-15 02:32
1.9M
ladr_0.0.200911a-2.1.debian.tar.xz
2014-10-09 12:53
19K
ladr_0.0.200911a-2.1.dsc
2014-10-09 12:53
1.3K
ladr_0.0.200911a.orig.tar.gz
2012-12-12 20:04
1.7M
libladr-dev_0.0.200902a-2.1_amd64.deb
2012-01-13 02:48
398K
libladr-dev_0.0.200902a-2.1_i386.deb
2012-01-13 03:50
379K
libladr-dev_0.0.200911a-2.1+b2_amd64.deb
2017-02-24 19:43
278K
libladr-dev_0.0.200911a-2.1+b2_i386.deb
2017-02-24 19:58
304K
libladr-dev_0.0.200911a-2.1_amd64.deb
2014-10-09 12:53
271K
libladr-dev_0.0.200911a-2.1_i386.deb
2014-10-14 14:12
278K
libladr4_0.0.200902a-2.1_amd64.deb
2012-01-13 02:48
239K
libladr4_0.0.200902a-2.1_i386.deb
2012-01-13 03:50
245K
libladr4_0.0.200911a-2.1+b2_amd64.deb
2017-02-24 19:43
184K
libladr4_0.0.200911a-2.1+b2_i386.deb
2017-02-24 19:58
206K
libladr4_0.0.200911a-2.1_amd64.deb
2014-10-09 12:53
183K
libladr4_0.0.200911a-2.1_i386.deb
2014-10-14 14:12
202K
prover9_0.0.200902a-2.1_amd64.deb
2012-01-13 02:48
125K
prover9_0.0.200902a-2.1_i386.deb
2012-01-13 03:50
121K
prover9_0.0.200911a-2.1+b2_amd64.deb
2017-02-24 19:43
100K
prover9_0.0.200911a-2.1+b2_i386.deb
2017-02-24 19:58
107K
prover9_0.0.200911a-2.1_amd64.deb
2014-10-09 12:53
98K
prover9_0.0.200911a-2.1_i386.deb
2014-10-14 14:12
100K
Apache/2.4 Server at linux.mathematik.tu-darmstadt.de Port 443