debian specific patch information for sat4j / 2.3.1-1

Summary

Package Version Package Type Source Package Format
2.3.1-1 Debian-diff 3.0 (quilt)

Debian packaging Information

Debian changes tarfile sat4j_2.3.1-1.debian.tar.gz
Size11606
MD5sumff0666d3cfbea2a25d515b19c650648b

"series" style patches

patch summary view raw
debian-build
 build.xml                                                                                                      |    6 ++++--
 org.sat4j.pb/src/test/java/org/sat4j/pb/constraints/CompetPBResHTMixedConstraintsObjectiveLearningTest.java    |    3 ++-
 org.sat4j.pb/src/test/java/org/sat4j/pb/constraints/CompetPBResMinHTMixedConstraintsObjectiveLearningTest.java |    3 ++-
 3 files changed, 8 insertions(+), 4 deletions(-)
view download
commons-cli
 org.sat4j.maxsat/META-INF/MANIFEST.MF |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
view download