Index of /linuxmint/debian/latest/pool/main/l/ladr

	Name	Last modified	Size	Description
	Parent Directory		-
	prover9_0.0.200911a-2_i386.deb	2013-05-25 19:43	116K
	libladr4_0.0.200911a-2_i386.deb	2013-05-25 19:43	224K
	libladr-dev_0.0.200911a-2_i386.deb	2013-05-25 19:43	356K
	ladr4-apps_0.0.200911a-2_i386.deb	2013-05-25 19:43	322K
	prover9_0.0.200911a-2_amd64.deb	2013-05-25 18:12	119K
	libladr4_0.0.200911a-2_amd64.deb	2013-05-25 18:12	217K
	libladr-dev_0.0.200911a-2_amd64.deb	2013-05-25 18:12	378K
	ladr_0.0.200911a-2.dsc	2013-05-25 18:12	1.3K
	ladr_0.0.200911a-2.debian.tar.gz	2013-05-25 18:12	22K
	ladr4-apps_0.0.200911a-2_amd64.deb	2013-05-25 18:12	335K
	ladr_0.0.200911a.orig.tar.gz	2012-12-13 03:04	1.7M
	prover9_0.0.200902a-2.1_i386.deb	2012-01-13 10:50	121K
	libladr4_0.0.200902a-2.1_i386.deb	2012-01-13 10:50	245K
	libladr-dev_0.0.200902a-2.1_i386.deb	2012-01-13 10:50	379K
	ladr4-apps_0.0.200902a-2.1_i386.deb	2012-01-13 10:50	348K
	prover9_0.0.200902a-2.1_amd64.deb	2012-01-13 09:48	125K
	libladr4_0.0.200902a-2.1_amd64.deb	2012-01-13 09:48	239K
	libladr-dev_0.0.200902a-2.1_amd64.deb	2012-01-13 09:48	398K
	ladr_0.0.200902a-2.1.dsc	2012-01-13 09:48	1.9K
	ladr_0.0.200902a-2.1.diff.gz	2012-01-13 09:48	18K
	ladr4-apps_0.0.200902a-2.1_amd64.deb	2012-01-13 09:48	362K
	prover9_0.0.200902a-2_i386.deb	2009-05-04 02:47	115K
	libladr4_0.0.200902a-2_i386.deb	2009-05-04 02:47	215K
	libladr-dev_0.0.200902a-2_i386.deb	2009-05-04 02:47	348K
	ladr4-apps_0.0.200902a-2_i386.deb	2009-05-04 02:47	327K
	prover9_0.0.200902a-2_amd64.deb	2009-05-04 01:47	125K
	libladr4_0.0.200902a-2_amd64.deb	2009-05-04 01:47	233K
	libladr-dev_0.0.200902a-2_amd64.deb	2009-05-04 01:47	392K
	ladr_0.0.200902a-2.dsc	2009-05-04 01:47	1.1K
	ladr_0.0.200902a-2.diff.gz	2009-05-04 01:47	17K
	ladr4-apps_0.0.200902a-2_amd64.deb	2009-05-04 01:47	361K
	ladr_0.0.200902a.orig.tar.gz	2009-03-15 09:32	1.9M