debian specific patch information for coq / 8.2.pl1+dfsg-3

Summary

Package Version	Package Type	Source Package Format
8.2.pl1+dfsg-3	Debian-diff	1.0

"Debian diff" Information

Diff file	coq_8.2.pl1+dfsg-3.diff.gz
Size	15366
MD5sum	8667c0c9c1ef0ca6605b599064872808
./debian only changes	view	download

"series" style patches

patch	summary	view	raw
0001-Update-for-why-2.19.patch	contrib/dp/dp.ml \| 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 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