Package: libppl-dev Version: 0.9-5 Severity: important Hi !
The package includes de ppl_c.h header of the ppl C interface (which I find nice not having to install an additional libppl-c-dev package). But then, it should then also provide the libppl_c.so -> libppl_c.so.0.1.0 symlink. Thanks. -- System Information: Debian Release: lenny/sid APT prefers unstable APT policy: (600, 'unstable'), (500, 'stable'), (1, 'experimental') Architecture: i386 (i686) Kernel: Linux 2.6.26-1-686 (SMP w/1 CPU core) Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/bash Versions of packages libppl-dev depends on: ii graphviz 2.20.2-2 rich set of graph drawing tools ii libppl6 0.9-5 Parma Polyhedra Library: base pack Versions of packages libppl-dev recommends: ii libgmp3-dev 2:4.2.2+dfsg-3 Multiprecision arithmetic library Versions of packages libppl-dev suggests: ii libgmp3-doc 2:4.2.2+dfsg-3 Multiprecision arithmetic library pn libppl-doc <none> (no description available) -- no debconf information -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
