Index of /ubuntu-ports/pool/universe/l/ladr

	Name	Last modified	Size
	Parent Directory		-
	libladr4_0.0.200911a-2.1build1_s390x.deb	2018-04-04 21:14	161K
	libladr-dev_0.0.200911a-2.1build1_s390x.deb	2018-04-04 21:14	254K
	prover9_0.0.200911a-2.1build1_s390x.deb	2018-04-04 21:14	75K
	ladr4-apps_0.0.200911a-2.1build1_s390x.deb	2018-04-04 21:14	120K
	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
	prover9_0.0.200911a-2.1build1_ppc64el.deb	2018-04-04 21:14	73K
	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_armhf.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_arm64.deb	2018-04-04 21:14	107K
	libladr4_0.0.200911a-2.1build1_arm64.deb	2018-04-04 21:14	137K
	libladr-dev_0.0.200911a-2.1build1_arm64.deb	2018-04-04 21:14	236K
	ladr_0.0.200911a-2.1build1.dsc	2018-04-04 21:14	2.1K
	ladr_0.0.200911a-2.1build1.debian.tar.xz	2018-04-04 21:14	19K
	ladr4-apps_0.0.200911a-2.1_s390x.deb	2015-12-04 09:22	120K
	prover9_0.0.200911a-2.1_s390x.deb	2015-12-04 09:22	74K
	libladr-dev_0.0.200911a-2.1_s390x.deb	2015-12-04 09:22	252K
	libladr4_0.0.200911a-2.1_s390x.deb	2015-12-04 09:22	160K
	libladr-dev_0.0.200911a-2.1_arm64.deb	2014-10-25 04:01	229K
	ladr4-apps_0.0.200911a-2.1_arm64.deb	2014-10-25 04:01	113K
	prover9_0.0.200911a-2.1_arm64.deb	2014-10-25 04:01	69K
	libladr4_0.0.200911a-2.1_arm64.deb	2014-10-25 04:01	133K
	ladr4-apps_0.0.200911a-2.1_ppc64el.deb	2014-10-24 21:39	109K
	prover9_0.0.200911a-2.1_ppc64el.deb	2014-10-24 21:39	68K
	libladr-dev_0.0.200911a-2.1_ppc64el.deb	2014-10-24 21:39	245K
	libladr4_0.0.200911a-2.1_ppc64el.deb	2014-10-24 21:39	146K
	prover9_0.0.200911a-2.1_powerpc.deb	2014-10-24 19:49	65K
	libladr4_0.0.200911a-2.1_powerpc.deb	2014-10-24 19:49	141K
	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
	prover9_0.0.200911a-2.1_armhf.deb	2014-10-24 15:16	68K
	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
	libladr-dev_0.0.200911a-2.1_armhf.deb	2014-10-24 15:16	223K
	ladr_0.0.200911a-2.1.dsc	2014-10-24 09:05	1.3K
	ladr_0.0.200911a-2.1.debian.tar.xz	2014-10-24 09:05	19K
	prover9_0.0.200911a-2_ppc64el.deb	2014-02-19 04:09	67K
	libladr-dev_0.0.200911a-2_ppc64el.deb	2014-02-19 04:08	241K
	ladr4-apps_0.0.200911a-2_ppc64el.deb	2014-02-19 04:08	106K
	libladr4_0.0.200911a-2_ppc64el.deb	2014-02-19 04:08	141K
	ladr4-apps_0.0.200911a-2_arm64.deb	2013-10-25 18:03	308K
	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_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
	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
	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
	ladr_0.0.200911a-2.debian.tar.gz	2013-05-25 17:33	22K