Re: coq 8.0pl2-4 MIGRATED to testing
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
coq (8.0pl2-4) unstable; urgency=low
.
* Added ocaml309.dpatch patch to compile cleanly with OCaml 3.09,
closes: #340185.
Oh well, i think it is, Samuel, could you please have a look at this, as it
will break at least on the non-native arches ?
Friendly,
Sven Luther
Reply to: