[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Basic OCaml stuff needed

On Thu, Jul 29, 2004 at 12:16:14AM +0200, Samuel Mimram wrote:
> Hello,
> 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
> official)?

Cool, will do. I suppose that this means a long long compile time for me
though, even bigger than ocaml.


Sven Luther

Reply to: