debian specific patch information for minisat+ / 1.0-2

Summary

Package Version Package Type Source Package Format
1.0-2 Debian-diff 3.0 (quilt)

Debian packaging Information

Debian changes tarfile minisat+_1.0-2.debian.tar.gz
Size3966
MD5sumc22d943b0ddfc19e5edf418261a27937

"series" style patches

patch summary view raw
exitcode
 Main.C     |    4 ++--
 PbParser.C |    2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)
view download