Re: coq 8.0pl2-4 MIGRATED to testing

[Samuel Mimram <samuel.mimram@ens-lyon.org>]

Sven Luther wrote:
> On Sat, Dec 03, 2005 at 03:08:05PM -0700, Debian testing watch wrote:
>
> > FYI: The status of the coq source package
> > in Debian's testing distribution has changed.
> >
> >  Previous version: 8.0pl2-3
> >  Current version:  8.0pl2-4
>
> Mmm, was this the coq version rebuilt with 3.09.0 ? If so, there is something
> seriously wrong with the coq packaging going on.

Yes, coq was rebuilt with OCaml 3.09.0. However, I don't get what's 
wrong with the current packaging of coq...

Cheers,

Samuel.