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 two reasons. First I've almost finished an ocaml binging for libbuddy ( :) ) and it would be rather obvious to call it ocaml-buddy (or ocaml-buddybdd) instead of ocaml-bdd . Second because I intend to open a ITP for CUDD BDD [1] and I'd like to name it accordingly libcudd . It would be great if we could use the same name convention for all bdd related packages. 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 ? [1] http://vlsi.colorado.edu/~fabio/CUDD/cuddIntro.html thanks. pietro -- System Information: Debian Release: squeeze/sid APT prefers unstable APT policy: (500, 'unstable'), (500, 'testing') Architecture: amd64 (x86_64) Kernel: Linux 2.6.18-6-xen-amd64 (SMP w/2 CPU cores) Locale: LANG=en_AU, LC_CTYPE=en_AU (charmap=ANSI_X3.4-1968) (ignored: LC_ALL set to C) Shell: /bin/sh linked to /bin/dash Versions of packages libbdd-dev depends on: ii libbdd0c2 2.4-6 Binary decision-diagram library (r ii libc6-dev [libc-dev] 2.10.2-6 Embedded GNU C Library: Developmen libbdd-dev recommends no packages. libbdd-dev suggests no packages. -- no debconf information -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org