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

	Name	Last modified	Size	Description
	Parent Directory		-
	use-env-in-coq-config.dpatch	2008-08-15 22:17	875
	non-native-archs.dpatch	2008-08-15 22:17	1.2K
	no-complexity-test.dpatch	2008-08-15 22:17	734
	check.dpatch	2008-08-15 22:17	868