> ... 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 ?
Fine with me, but I am a bit busy so not sure it will be this weekend. Cheers, -- Jens Peter Secher. _DD6A 05B0 174E BFB2 D4D9 B52E 0EE5 978A FE63 E8A1 jpsecher gmail com_. A. Because it breaks the logical sequence of discussion. Q. Why is top posting bad? -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org