cddlib-0.94m-bp156.3.6

- Update to release 0.94m
  * Fix and error, where a non-redundant linearity could be
    considered redundant.
  * Fix an optimization error in ViaShooting code so that the linear
    programs are now much smaller.
  * Fixed memory leaks in the redundancy code.

- Update to release 0.94l
  * Merged 0001-build-extend-extern-C-block-in-header-files.patch
- Split command-line programs to new package cddlib-tools.

- Update to release 0.94k
  * Header files are now installed to PREFIX/include/cddlib to
    avoid clashes with other libraries.
  * pkg-config cddlib.pc file added.
- Add 0001-build-extend-extern-C-block-in-header-files.patch

- Update to new upstream release 0.94j
  * Introduced cddexec as a replacement of cdd_both_reps that many
    distributions packaged.
- Remove cddlib-flags.diff, cddlib-automake.diff

- Update to new upstream release 0.94i
  * The missing definition of dd_set_d function (in the
  - DGMPRATIONAL case) was added.

- Switch include directory to /usr/include/cdd as that seems to be
  expected by downstream programs (like gfan).

- Update homepage URL

- Update cddlib-automake.diff to add -no-undefined

- Update to new upstream release 0.94h
  * One unspecified minor bugfix

- Use source URLs

- Restore and rediff patches

- Update to version 0.94g
  * fixed memory leaks in cddlib.c and cddlp.c
  * integrated patches for making the library
    shared and more compatible for C++ compilers