Re: Basic OCaml stuff needed
On Thu, Jul 29, 2004 at 01:50:26PM +0200, Samuel Mimram wrote:
> On Thu, 29 Jul 2004 10:30:25 +0200 Sven Luther <sven.luther@wanadoo.fr>
> wrote:
>
> > 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.
>
> Ok. You're right the version number 8.0pl1 is a bit odd. I renamed it to
> 8.0.1 in the svn. Just tell me if you have any other comment before
> uploading coq.
Ok, will launch the build.
Friendly,
Sven Luther
Reply to: