[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#498587: marked as done (libppl-dev: Missing libppl_c.so symlink)

Your message dated Tue, 30 Sep 2008 00:38:06 +0200
with message-id <20080929223735.GB53726@l03.local>
and subject line Package is in unstable
has caused the Debian Bug report #498587,
regarding libppl-dev: Missing libppl_c.so symlink
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
498587: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=498587
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
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

--- End Message ---
--- Begin Message --- 
Version: 0.10~pre27-1

As the package has been approved by ftp-masters, this bug is fixed.

Best,
Michael

Attachment: pgpdOgtaiXwxj.pgp
Description: PGP signature


--- End Message ---
Reply to: