debian specific patch information for coq / 8.2.pl2+dfsg-1

Summary

Package Version	Package Type	Source Package Format
8.2.pl2+dfsg-1	Debian-diff	3.0 (quilt)

Debian packaging Information

Debian changes tarfile	coq_8.2.pl2+dfsg-1.debian.tar.gz
Size	16779
MD5sum	22f7bc31e1ad9289856fb92824e0e2bf

"series" style patches

patch	summary	view	raw
0001-Disable-micromega-tests.patch	test-suite/check \| 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-)	view	download
0002-Remove-dependency-to-Unix-from-module-Profile.patch	Makefile.build \| 4 ++-- lib/profile.ml \| 8 +++++--- lib/profile.mli \| 4 +--- 3 files changed, 8 insertions(+), 8 deletions(-)	view	download

page code/design/content is copyright (c) 2008 sean finney <seanius@debian.org>.
patches viewed/retrieved through this system are copyrighted by their respective authors.
browse git repo - clone git repo