Re: Policy, location of .cma files in binary packages, and dynlink...

[David MENTRE <dmentre@linux-france.org>]

Hello,

Sven Luther <sven@powerlinux.fr> writes:

> Do we have some statistics about the size of each of these packages ? If
> the size is not such an impact, we can just drop the -dev version.

+1 

As a simple user, it is always cumbersome to look for and install a new
package only for a few files.

Yours,
d.
-- 
GPG/PGP key: A3AD7A2A David MENTRE <dmentre@linux-france.org>
 5996 CC46 4612 9CA4 3562  D7AC 6C67 9E96 A3AD 7A2A