Re: coq 8.0pl2-4 MIGRATED to testing
On Sun, Dec 04, 2005 at 07:41:47PM +0100, Samuel Mimram wrote:
> 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...
Well, mayb nothing as it is either native or -custom it seems, but it should
have included a dependency on ocaml 3.09 so it would not enter testing without
the rest of the ocaml transitiion.
Really, coq should not be built -custom, and be built only once on all four
non-native arches, since it is a rather big package, and wastes 3time its size
in archive space, and the rebuild on m68k, mips and mipsel which are rather
slow arches. s390 should be no problem this way.
Friendly,
Sven Luther
Reply to: