Package: valgrind
Version: 1:3.10.0-4
Severity: important

Dear Maintainer,

Per #725223, most Valgrind header files were removed from the package
(in particular pub_tool_*). This means that third party plugins for
valgrind can no longer be built from sources. This was previously
possible (and did not require a full valgrind source tree), so this
is a regression. Please consider reverting this change, or at least
providing these headers as a separate valgrind-dev package.

Thanks!

-- System Information:
Debian Release: jessie/sid
  APT prefers testing-updates
  APT policy: (500, 'testing-updates'), (500, 'testing')
Architecture: amd64 (x86_64)

Kernel: Linux 3.16.0-4-amd64 (SMP w/8 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages valgrind depends on:
ii  libc6      2.19-13
ii  libc6-dbg  2.19-13

Versions of packages valgrind recommends:
ii  gdb           7.7.1+dfsg-5
ii  valgrind-dbg  1:3.10.0-4

Versions of packages valgrind suggests:
pn  alleyoop      <none>
ii  kcachegrind   4:4.14.0-1
pn  valgrind-mpi  <none>
pn  valkyrie      <none>

-- 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

Reply via email to