Sven Luther wrote:
I would encourage package maintainers to do a similar split, or to move the .cma and .cmi files out of the devel package into the run time package. Especially Pcre. :-)I guess it will not be needed to do a similar split for the other libraries, since if someone wants to use one of those as a script, he should depend on the full -devel file.