Re: libcholmod
On Tue, May 03, 2011 at 04:12:13PM +0100, A J Stiles wrote:
> Or even better, just put the "-dev" files in the main library package already.
>
> The time when separate -dev packages were a good idea has been and gone a long
> while since; nowadays, they are doing more harm than good.
Those of us making embedded devices would very much like to disagree.
Also having the ability to install multiple versions of a library, but
only one set of development headers has been a great feature in Debian
for many years. So again, bad idea.
The -dev packages are not about saving disk space at all.
--
Len Sorensen
Reply to: