debian specific patch information for minisat2 / 070721-5

Summary

Package Version	Package Type	Source Package Format
070721-5	Debian-diff	1.0

"Debian diff" Information

Diff file	minisat2_070721-5.diff.gz
Size	7289
MD5sum	2a7f819a45432227bd99ecb396c5b6c2
./debian only changes	view	download
non packaging (i.e. not ./debian) changes	view	download

Misc. Non-packaging "direct" style patches

file	inserted	deleted	modified	view	download
mtl/template.mk	1	1	0	view	download
simp/Main.C	1	1	0	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