Re: 3.10: time to upload to unstable (!?)
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.
Reply to: