debian specific patch information for minisat2 / 1:2.2.0-2

Summary

Package Version	Package Type	Source Package Format
1:2.2.0-2	Debian-diff	3.0 (quilt)

Debian packaging Information

Debian changes tarfile	minisat2_2.2.0-2.debian.tar.gz
Size	9783
MD5sum	4c696edecd19351f963e1e7ce484aaa9

"series" style patches

patch	summary	view	raw
debian-changes-1:2.2.0-1	mtl/template.mk \| 19 ++++++++++++++++++- simp/Main.cc \| 2 +- utils/System.cc \| 2 +- 3 files changed, 20 insertions(+), 3 deletions(-)	view	download
debian-changes-1:2.2.0-2	core/Main.cc \| 2 +- utils/System.cc \| 2 +- 2 files changed, 2 insertions(+), 2 deletions(-)	view	download

patch

summary

view

raw

debian-changes-1:2.2.0-1

 mtl/template.mk |   19 ++++++++++++++++++-
 simp/Main.cc    |    2 +-
 utils/System.cc |    2 +-
 3 files changed, 20 insertions(+), 3 deletions(-)

view

download

debian-changes-1:2.2.0-2

 core/Main.cc    |    2 +-
 utils/System.cc |    2 +-
 2 files changed, 2 insertions(+), 2 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