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
Size9783
MD5sum4c696edecd19351f963e1e7ce484aaa9

"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