On Thu, Aug 02, 2007 at 11:54:09AM +0200, Stefano Zacchiroli wrote: > The best solution that comes to my mind is to provide in Debian two > versions of ulex, the normal one (version 1.0, built with the new > camlp4) and a new one called "ulex08" (version 0.8, built with camlp5). > That would enable mixing ulex with syntax extension using camlp5 for > other packages as well.
I'd suggest using the actual version with decimal point in the package name: ulex0.8 rather than ulex08. There's plenty of precedent in the archive. Cheers, Eric -- Eric Cooper e c c @ c m u . e d u -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
