Re: Basic OCaml stuff needed
On Thu, Jul 29, 2004 at 12:16:14AM +0200, Samuel Mimram wrote:
> I should be not far away from the keyboard (but maybe a bit less
> responsive than usually until the end of the week).
> Thank you Julien for taking care of things while I was away.
> I confirm that the new release of COQ without the QPL bits is out (and
> official) and the package is ready on the svn.
> Sven, could you upload it (directly in unstable since the release is now
Cool, will do. I suppose that this means a long long compile time for me
though, even bigger than ocaml.