On Wed, Mar 03, 2004 at 03:23:57PM +0100, Stefano Zacchiroli wrote: > On Tue, Mar 02, 2004 at 10:08:56PM +0100, Sylvain LE GALL wrote: > > Having a look at the two lib, i think there is no chance to have such a > > merge. The debian extlib is a collection of pure ocaml libraries. The > > hump extlib is a collection of C binding. And the debian extlib staff > > will never use C binding :-( ( because they want to have a cross > > platform lib ). > > So the best mediation in which we can hope is to obtain a name change > for one of the two project (more likely the C one). I think it's very > confusing to have two different libraries with the same name, not only > for debianization issues ...
extclib maybe ? Friendly, Sven Luther

