Re: Coq & ocaml 3.08
On Thu, Jul 15, 2004 at 06:19:00PM +0200, Samuel Mimram wrote:
> On Thu, 15 Jul 2004 17:17:31 +0200 Sven Luther <sven.luther@wanadoo.fr>
> wrote:
>
> > On Thu, Jul 15, 2004 at 04:56:39PM +0200, Samuel Mimram wrote:
> > > > > When will be the release of the new coq ? Any time schedule ?
> > > >
> > > > No time schedule has been decided officially, but the next week
> > > > has been given indicated to me. (There are still a few bugs open
> > > > in the bug tracking system that deserves a fix.)
> > > >
> > > > > I guess they were waiting for the ocaml 3.08 release to make
> > > > > such an announcement ?
> > > >
> > > > No, they were not (I have joined the team and I share the office
> > > > with the guy that makes the releases --- and that is now on
> > > > vacation). Indeed I think that work is needed to port it to 3.08.
> > >
> > > I think that the only main change of camlp4 is that locations are
> > > now handled in OCaml (using Lexing.position instead of int). Do you
> > > really think it would take so much time to have COQ compiling with
> > > 3.08?
> > >
> > > > The suggestion for Samuel was to start packagint the current 3.08
> > > > stable release since the new upstream tarball will be almost
> > > > equal to the old one (but for the release change and the few bug
> > > > fixes). However, I think that the 3.08 debian package would break
> > > > this suggestion ;-(
> > >
> > > In fact, I already have a package ready for COQ. I can import it
> > > into the svn if you want.
> >
> > Yes, please.
>
> Ok I've done that. I guess I should not put the .orig (because of the
> licensing problems).
Ok. Well. i am not sure. The new package should fix the licencing
issues, should it not ?
> > BTW, you are not a DD, right ? Did you apply to become one ? And how
> > is your application going if so.
>
> I've been waiting for DAM approval for a few monthes...
Ok.
Friendly,
Sven Luther
Reply to: