Makefile | 4 2 + 2 - 0 !
src/base/io/ioReadAiger.c | 2 1 + 1 - 0 !
src/base/io/ioWriteAiger.c | 2 1 + 1 - 0 !
3 files changed, 4 insertions(+), 4 deletions(-)

 the library bzlib is included in the source and
  built as a convenience library. This patch prevents this from being
  built and links berkeley-abc with debian's bzlib library instead.

Makefile | 4 2 + 2 - 0 !
src/base/io/ioReadAiger.c | 2 1 + 1 - 0 !
src/base/io/ioWriteAiger.c | 2 1 + 1 - 0 !
src/sat/cnf/cnfMan.c | 2 1 + 1 - 0 !
4 files changed, 5 insertions(+), 5 deletions(-)

 the library zlib is included in the source and
  built as a convenience library. This patch prevents this from being
  built and links berkeley-abc with debian's zlib library instead.

Makefile | 10 5 + 5 - 0 !
1 file changed, 5 insertions(+), 5 deletions(-)

 using ldflags and cppflagspassed down from
  dpkg-buildflags such that hardening gets enabled.

Makefile | 3 3 + 0 - 0 !
src/aig/aig/aigMem.c | 12 12 + 0 - 0 !
2 files changed, 15 insertions(+)

 backporting a fix which causes crashes on certain architectures.
 There were some memory alignment problems

src/base/cmd/cmdUtils.c | 2 1 + 1 - 0 !
src/base/main/mainUtils.c | 2 1 + 1 - 0 !
2 files changed, 2 insertions(+), 2 deletions(-)

 remove the __time__ etc macros
 Otherwise the debian package checking complains...

src/opt/ret/retIncrem.c | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

---