Hello. Buddy bdd at the moment ships a dynamic library named libdbb. This name is quite generic and
when installed on a shared system, it might conflict with other bdd libraries. I suggest, for uniformity, to change
the name of the shared library to libbuddy .
I'm asking this as I plan to package an other bdd library for debian and it would be nice to have libbuddy
on one side and libcudd on the other, instead of leaving libbdd as it might create confusion. This should
be a quite innocuous change I think and debian can add a link from libbdd to libbuddy for backward
compatibility for some time.
thanks for your work. ! This is a great package !
Log in to post a comment.