Index of /debian-archive/debian/pool/main/l/ladr

	Name	Last modified	Size
	Parent Directory		-
	ladr4-apps_0.0.200806a-1_i386.deb	2008-06-30 00:17	323K
	ladr_0.0.200806a-1.diff.gz	2008-06-30 00:17	20K
	ladr_0.0.200806a-1.dsc	2008-06-30 00:17	1.1K
	ladr_0.0.200806a.orig.tar.gz	2008-06-30 00:17	1.6M
	libladr-dev_0.0.200806a-1_i386.deb	2008-06-30 00:17	334K
	libladr4_0.0.200806a-1_i386.deb	2008-06-30 00:17	205K
	prover9_0.0.200806a-1_i386.deb	2008-06-30 00:17	108K
	ladr4-apps_0.0.200806a-1_amd64.deb	2008-06-30 00:47	355K
	libladr-dev_0.0.200806a-1_amd64.deb	2008-06-30 00:47	376K
	libladr4_0.0.200806a-1_amd64.deb	2008-06-30 00:47	221K
	prover9_0.0.200806a-1_amd64.deb	2008-06-30 00:47	120K
	ladr_0.0.200902a.orig.tar.gz	2009-03-15 02:32	1.9M
	ladr4-apps_0.0.200902a-2_amd64.deb	2009-05-03 19:47	361K
	ladr_0.0.200902a-2.diff.gz	2009-05-03 19:47	17K
	ladr_0.0.200902a-2.dsc	2009-05-03 19:47	1.1K
	libladr-dev_0.0.200902a-2_amd64.deb	2009-05-03 19:47	392K
	libladr4_0.0.200902a-2_amd64.deb	2009-05-03 19:47	233K
	prover9_0.0.200902a-2_amd64.deb	2009-05-03 19:47	125K
	ladr4-apps_0.0.200902a-2_i386.deb	2009-05-03 20:47	327K
	libladr-dev_0.0.200902a-2_i386.deb	2009-05-03 20:47	348K
	libladr4_0.0.200902a-2_i386.deb	2009-05-03 20:47	215K
	prover9_0.0.200902a-2_i386.deb	2009-05-03 20:47	115K
	ladr4-apps_0.0.200902a-2.1_amd64.deb	2012-01-13 02:48	362K
	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
	libladr-dev_0.0.200902a-2.1_amd64.deb	2012-01-13 02:48	398K
	libladr4_0.0.200902a-2.1_amd64.deb	2012-01-13 02:48	239K
	prover9_0.0.200902a-2.1_amd64.deb	2012-01-13 02:48	125K
	libladr4_0.0.200902a-2.1_i386.deb	2012-01-13 03:50	245K
	ladr4-apps_0.0.200902a-2.1_i386.deb	2012-01-13 03:50	348K
	libladr-dev_0.0.200902a-2.1_i386.deb	2012-01-13 03:50	379K
	prover9_0.0.200902a-2.1_i386.deb	2012-01-13 03:50	121K
	ladr_0.0.200911a.orig.tar.gz	2012-12-12 20:04	1.7M
	ladr4-apps_0.0.200911a-2.1_amd64.deb	2014-10-09 12:53	153K
	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
	libladr-dev_0.0.200911a-2.1_amd64.deb	2014-10-09 12:53	271K
	libladr4_0.0.200911a-2.1_amd64.deb	2014-10-09 12:53	183K
	prover9_0.0.200911a-2.1_amd64.deb	2014-10-09 12:53	98K
	libladr-dev_0.0.200911a-2.1_i386.deb	2014-10-14 14:12	278K
	ladr4-apps_0.0.200911a-2.1_i386.deb	2014-10-14 14:12	155K
	libladr4_0.0.200911a-2.1_i386.deb	2014-10-14 14:12	202K
	prover9_0.0.200911a-2.1_i386.deb	2014-10-14 14:12	100K
	ladr4-apps_0.0.200911a-2.1+b2_amd64.deb	2017-02-24 19:43	156K
	libladr-dev_0.0.200911a-2.1+b2_amd64.deb	2017-02-24 19:43	278K
	libladr4_0.0.200911a-2.1+b2_amd64.deb	2017-02-24 19:43	184K
	prover9_0.0.200911a-2.1+b2_amd64.deb	2017-02-24 19:43	100K
	ladr4-apps_0.0.200911a-2.1+b2_i386.deb	2017-02-24 19:58	153K
	libladr-dev_0.0.200911a-2.1+b2_i386.deb	2017-02-24 19:58	304K
	libladr4_0.0.200911a-2.1+b2_i386.deb	2017-02-24 19:58	206K
	prover9_0.0.200911a-2.1+b2_i386.deb	2017-02-24 19:58	107K
	ladr4-apps_0.0.200911a-2.1+b2_mips64el.deb	2017-02-24 20:28	139K
	libladr-dev_0.0.200911a-2.1+b2_mips64el.deb	2017-02-24 20:28	297K
	libladr4_0.0.200911a-2.1+b2_mips64el.deb	2017-02-24 20:28	159K
	prover9_0.0.200911a-2.1+b2_mips64el.deb	2017-02-24 20:28	97K