On Wed, Apr 09, 2008 at 01:13:36PM +0100, Romain Beauxis wrote: > But, still, I cannot find a place where it is stated that .so objects as > shipped with C bindings should be installed in > /usr/lib/ocaml/3.10.1/stublibs/ > for debian packages.. It's at the end of the first paragraph of section 3.2, "Paths for libraries". -- Eric Cooper e c c @ c m u . e d u