Index of /ubuntu-ports/pool/universe/l/ladr
Name
Last modified
Size
Parent Directory
-
ladr_0.0.200911a-2.debian.tar.gz
2013-05-25 17:33
22K
ladr_0.0.200911a.orig.tar.gz
2013-05-25 17:33
1.7M
ladr_0.0.200911a-2.dsc
2013-05-25 17:33
1.3K
prover9_0.0.200911a-2_armhf.deb
2013-05-25 19:03
89K
libladr4_0.0.200911a-2_armhf.deb
2013-05-25 19:03
156K
libladr-dev_0.0.200911a-2_armhf.deb
2013-05-25 19:03
314K
ladr4-apps_0.0.200911a-2_armhf.deb
2013-05-25 19:03
286K
prover9_0.0.200911a-2_powerpc.deb
2013-05-25 21:34
89K
libladr4_0.0.200911a-2_powerpc.deb
2013-05-25 21:34
188K
libladr-dev_0.0.200911a-2_powerpc.deb
2013-05-25 21:34
336K
ladr4-apps_0.0.200911a-2_powerpc.deb
2013-05-25 21:34
297K
prover9_0.0.200911a-2_arm64.deb
2013-10-25 18:03
95K
libladr4_0.0.200911a-2_arm64.deb
2013-10-25 18:03
167K
libladr-dev_0.0.200911a-2_arm64.deb
2013-10-25 18:03
336K
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
libladr4_0.0.200911a-2.1_armhf.deb
2014-10-24 15:16
135K
ladr4-apps_0.0.200911a-2.1_armhf.deb
2014-10-24 15:16
106K
prover9_0.0.200911a-2.1_armhf.deb
2014-10-24 15:16
68K
libladr-dev_0.0.200911a-2.1_powerpc.deb
2014-10-24 19:49
228K
ladr4-apps_0.0.200911a-2.1_powerpc.deb
2014-10-24 19:49
93K
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
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
libladr4_0.0.200911a-2.1_s390x.deb
2015-12-04 09:22
160K
libladr-dev_0.0.200911a-2.1_s390x.deb
2015-12-04 09:22
252K
prover9_0.0.200911a-2.1_s390x.deb
2015-12-04 09:22
74K
ladr4-apps_0.0.200911a-2.1_s390x.deb
2015-12-04 09:22
120K
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
prover9_0.0.200911a-2.1build1_armhf.deb
2018-04-04 21:14
70K
libladr4_0.0.200911a-2.1build1_armhf.deb
2018-04-04 21:14
135K
libladr-dev_0.0.200911a-2.1build1_armhf.deb
2018-04-04 21:14
233K
prover9_0.0.200911a-2.1build1_ppc64el.deb
2018-04-04 21:14
73K
libladr4_0.0.200911a-2.1build1_ppc64el.deb
2018-04-04 21:14
155K
libladr-dev_0.0.200911a-2.1build1_ppc64el.deb
2018-04-04 21:14
255K
ladr4-apps_0.0.200911a-2.1build1_ppc64el.deb
2018-04-04 21:14
115K
ladr4-apps_0.0.200911a-2.1build1_s390x.deb
2018-04-04 21:14
120K
prover9_0.0.200911a-2.1build1_s390x.deb
2018-04-04 21:14
75K
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
Apache/2.4.29 (Ubuntu) Server at us.ports.ubuntu.com Port 80