Hi, Stefano Zacchiroli wrote: > Hi guys, > I think is time to go ahead and start uploading 3.10 stuff to > unstable. Not yet has been rebuilt in experimental, but I believe the > major showstopper have been, and we have fallbacks for the potentially > problematic issue of the new camlp4. > > I would like to reach consensus here before asking on -release for the > permission to start the transition.
I've managed to build coq with ocaml 3.10 and camlp5 so I don't have any more objection. Cheers, Samuel. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
