Index of /by-release/extracted/debian/c/coq/8.2~beta4+dfsg-1

	Name	Last modified	Size	Description
	Parent Directory		-
	use-env-in-coq-config.dpatch	2008-08-14 22:15	875
	check.dpatch	2008-08-14 22:15	868
	no-complexity-test.dpatch	2008-08-14 22:15	734