ExternalWrapper.cc | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 invoke minisat+ with switch for old-format input

Makefile | 8 4 + 4 - 0 !
1 file changed, 4 insertions(+), 4 deletions(-)

 fix usage of build-environment by the makefile: rename lnflags
to LDFLAGS, use CXXFLAGS and CPPFLAGS

Makefile | 1 1 + 0 - 0 !
basic_clset.hh | 4 0 + 4 - 0 !
cl_globals.hh | 4 0 + 4 - 0 !
cl_registry.hh | 2 0 + 2 - 0 !
cl_types.hh | 2 1 + 1 - 0 !
collections.hh | 2 1 + 1 - 0 !
common_types.hh | 13 5 + 8 - 0 !
cudf_msu.cc | 5 3 + 2 - 0 !
hash_structs.hh | 12 12 + 0 - 0 !
home/rt/debian/packages/collab-maint/packup/.git | only
types.hh | 9 6 + 3 - 0 !
11 files changed, 29 insertions(+), 25 deletions(-)

 compliance to the c++11 standard
Debian-bug:  #811793

Encoder.cc | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 fix spelling in message