... in my
opinion a better name for this library would be libbuddy As a first
step, would you
consider renaming the library object itself as libbuddy and to leave the
package as it is until I finish to package libcudd (plus a sym link to
for backward compatibility) ? What you think ?
Package: libbdd-dev
Version: 2.4-6
Severity: wishlist
Hello,
It struck me that the name libbdd is quite generic. Despite the fact
that there are not other bdd libraries in debian at the moment, in my
opinion a better name for this library would be libbuddy . I'm asking
this strange question for
2 matches
Mail list logo
