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

Re: Basic OCaml stuff needed



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)?

Thanks.

Cheers,

Samuel.


On Tue, 27 Jul 2004 12:42:01 +0200 Sven Luther <sven.luther@wanadoo.fr>
wrote:

> On Tue, Jul 27, 2004 at 11:36:00AM +0200, Julien Cristau wrote:
> > On 27/07/2004-10:58, Sven Luther wrote:
> > 
> > > On Tue, Jul 27, 2004 at 10:35:16AM +0200, Julien Cristau wrote:
> > > > Hi John,
> > > > 
> > > > (sorry to jump into this thread, but I'm afraid Samuel will be
> > > > away until this week end or next week, so I wanted to keep you
> > > > informed)
> > > > 
> > > > libequeue-ocaml, as a few other ocaml libraries, is maintained
> > > > by Samuel Mimram. He has commited the needed changes to his
> > > > packages to svn, so they should be ready for 3.08. If you want I
> > > > think you can upload them (he is not a DD yet, so he would need
> > > > a sponsor anyway).
> > > 
> > > Ok, i will do it today. Tell me which packages are concerned, and
> > > i will build them. Samuel, also give me the names of the new
> > > packages which i have to upload.
> > > 
> > Samuel's packages currently in the archive are equeue, ocamlagrep
> > and mysql-ocaml.
> > They are all available in the pkg-ocaml-maint svn repository at
> > alioth.
> 
> Ok, i will do those.
> 
> > For the coq package, it seems that the bugfix release (8.0pl1) is
> > now official, so perhaps someone could check the new upstream
> > tarball[1] and adjust Samuel's packaging if needed.
> 
> I would prefer for Samuel to come back and do this himself. Given the
> sarge release date of mid-september, i think there is time for this
> still. Not much but still.
> 
> > For the other packages he wanted to maintain, I'll let him answer
> > when he comes back, since they won't block the transition of ocaml
> > to testing.
> 
> Yeah.
> 
> Friendly,
> 
> Sven Luther
> 
> 
> -- 
> To UNSUBSCRIBE, email to debian-ocaml-maint-REQUEST@lists.debian.org
> with a subject of "unsubscribe". Trouble? Contact
> listmaster@lists.debian.org
> 

Attachment: pgpGpUQfIgSlP.pgp
Description: PGP signature


Reply to: