Hi Nico: On 26/05/16 19:06, Nico Schlömer wrote: > Hi everyone, > > Say a package installs only headers, and in one of those, a header of > another -dev package is #included. How to depend on the package? Have a look to the libmpfrc++-dev package. Best wishes, Jerome > > Cheers, Nico -- Jerome BENOIT | calculus+at-rezozer^dot*net https://qa.debian.org/developer.php?login=calculus@rezozer.net AE28 AE15 710D FF1D 87E5 A762 3F92 19A6 7F36 C68B