debian specific patch information for coq / 8.1.pl3+dfsg-1

Package Version	Package Type	Source Package Format
8.1.pl3+dfsg-1	Debian-diff	1.0

"series" style patches

patch	summary	view	raw
coqdoc_stdlib	doc/Makefile \| 1 + 1 file changed, 1 insertion(+)	view	download
browser	lib/options.ml \| 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-)	view	download
makefile	Makefile \| 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)	view	download
no-complexity-test	test-suite/check \| 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-)	view	download
configure	configure \| 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)	view	download
cmxa-install	Makefile \| 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-)	view	download
check	test-suite/check \| 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)	view	download