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)?
What about renaming coq 8.0pl1 to 8.0.1 ? This would be consistent with the
rest of the versions in the changelog too.
Friendly,
Sven Luther
Reply to: