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. Cheers, Samuel.
Attachment:
pgpvsH7BP_mEs.pgp
Description: PGP signature