On Fri, Feb 26, 2010 at 08:07:42AM +0100, Stéphane Glondu wrote:
> I guess the dependency is (at least) because of the following files:
>
> /usr/lib/frama-c/plugins/Jessie.cmxs
> /usr/lib/frama-c/plugins/Jessie.cma
> /usr/lib/frama-c/plugins/Jessie.cmi
*if* files like that are the only reason to induce a dependency on
ocaml-base-nox (which brings in quite some extra space), we might
consider splitting plugins into a separate why-plugins package.
Cheers.
--
Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7
zack@{upsilon.cc,pps.jussieu.fr,debian.org} -<>- http://upsilon.cc/zack/
Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie
sempre uno zaino ...........| ..: |.... Je dis tu à tous ceux que j'aime
Attachment:
signature.asc
Description: Digital signature