Index of /~logik/download/debian

	Name	Last modified	Size	Description
	Parent Directory		-
	update	2006-12-06 22:46	134
	proofgeneral_3.7.orig.tar.gz	2008-10-15 10:52	1.9M
	proofgeneral_3.7-3.200810151050_i386.changes	2008-10-15 10:52	1.5K
	proofgeneral_3.7-3.200810151050_i386.build	2008-10-15 10:52	6.8K
	proofgeneral_3.7-3.200810151050_all.deb	2008-10-15 10:52	471K
	proofgeneral_3.7-3.200810151050.dsc	2008-10-15 10:52	460
	proofgeneral_3.7-3.200810151050.diff.gz	2008-10-15 10:52	22K
	proofgeneral_3.7-3.200810151039_i386.changes	2008-10-15 10:41	1.5K
	proofgeneral_3.7-3.200810151039_i386.build	2008-10-15 10:41	6.8K
	proofgeneral_3.7-3.200810151039_all.deb	2008-10-15 10:41	471K
	proofgeneral_3.7-3.200810151039.dsc	2008-10-15 10:41	460
	proofgeneral_3.7-3.200810151039.diff.gz	2008-10-15 10:41	22K
	proofgeneral_3.5.orig.tar.gz	2008-10-15 10:52	1.7M
	proofgeneral-misc_3.7-3.200810151050_all.deb	2008-10-15 10:52	138K
	proofgeneral-misc_3.7-3.200810151039_all.deb	2008-10-15 10:41	138K
	proofgeneral-minlog_3.7-3.200810151050_all.deb	2008-10-15 10:52	19K
	proofgeneral-minlog_3.7-3.200810151039_all.deb	2008-10-15 10:41	19K
	proofgeneral-doc_3.7-3.200810151050_all.deb	2008-10-15 10:52	88K
	proofgeneral-doc_3.7-3.200810151039_all.deb	2008-10-15 10:41	88K
	proofgeneral-coq_3.7-3.200810151050_all.deb	2008-10-15 10:52	70K
	proofgeneral-coq_3.7-3.200810151039_all.deb	2008-10-15 10:41	70K
	override.src	2006-12-06 22:51	51
	override	2006-12-06 22:51	51
	minlog_4.0.99.orig.tar.gz	2007-01-08 16:40	789K
	minlog_4.0.99.20100721.orig.tar.gz	2010-07-21 13:42	1.0M
	minlog_4.0.99.20100721-4_i386.build	2010-07-21 13:42	2.4K
	minlog_4.0.99.20100319.orig.tar.gz	2010-03-19 00:32	1.0M
	minlog_4.0.99.20100319-4_i386.changes	2010-03-19 00:32	701
	minlog_4.0.99.20100319-4_i386.build	2010-03-19 00:32	9.0K
	minlog_4.0.99.20100319-4_all.deb	2010-03-19 00:32	2.0M
	minlog_4.0.99.20100319-4.dsc	2010-03-19 00:32	387
	minlog_4.0.99.20100319-4.diff.gz	2010-03-19 00:32	3.7K
	minlog_4.0.99.20100314.orig.tar.gz	2010-03-14 00:32	1.0M
	minlog_4.0.99.20100314-4_i386.changes	2010-03-14 00:32	701
	minlog_4.0.99.20100314-4_i386.build	2010-03-14 00:32	9.0K
	minlog_4.0.99.20100314-4_all.deb	2010-03-14 00:32	2.0M
	minlog_4.0.99.20100314-4.dsc	2010-03-14 00:32	387
	minlog_4.0.99.20100314-4.diff.gz	2010-03-14 00:32	3.7K
	minlog_4.0.99.20100313.orig.tar.gz	2010-03-13 00:32	1.0M
	minlog_4.0.99.20100313-4_i386.changes	2010-03-13 00:32	701
	minlog_4.0.99.20100313-4_i386.build	2010-03-13 00:32	9.0K
	minlog_4.0.99.20100313-4_all.deb	2010-03-13 00:32	2.0M
	minlog_4.0.99.20100313-4.dsc	2010-03-13 00:32	387
	minlog_4.0.99.20100313-4.diff.gz	2010-03-13 00:32	3.7K
	minlog_4.0.99.20100115.orig.tar.gz	2010-01-15 00:32	1.0M
	minlog_4.0.99.20100115-4_i386.changes	2010-01-15 00:32	701
	minlog_4.0.99.20100115-4_i386.build	2010-01-15 00:32	9.3K
	minlog_4.0.99.20100115-4_all.deb	2010-01-15 00:32	2.0M
	minlog_4.0.99.20100115-4.dsc	2010-01-15 00:32	387
	minlog_4.0.99.20100115-4.diff.gz	2010-01-15 00:32	3.7K
	Sources.gz	2010-07-21 13:42	843
	Packages.gz	2010-07-21 13:42	1.5K