Index of /by-release/extracted/debian/c/coq/8.1.pl2+dfsg-3

	Name	Last modified	Size	Description
	Parent Directory		-
	browser.dpatch	2007-11-29 21:19	741
	check.dpatch	2007-11-29 21:19	920
	cmxa-install.dpatch	2007-11-29 21:19	782
	configure.dpatch	2007-11-29 21:19	872
	coqdoc_stdlib.dpatch	2007-11-29 21:19	810
	makefile.dpatch	2007-11-29 21:19	957
	no-complexity-test.dpatch	2007-11-29 21:19	768