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.
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
