Re: Status of Coq-related packages
On Sat, Mar 19, 2016 at 10:08:40AM +0100, Mehdi Dogguy wrote:
> Hi,
>
> Coq 8.5 has been uploaded to Unstable, but its reverse dependencies were not
> updated. As a consequence, many of them (if not all?) are broken (#813596,
> #813459 and #813820).
>
> Is there any plan to fix those packages?
>
> For now, I've hinted buggy packages and their reverse dependencies (coq-float,
> ssreflect, mathcomp) for removal from testing.
You are absolutely right, but real life took over all my time.
mathcomp will disappear, ssr is updated but only in git, no upload.
No idea about float.
Best,
--
Enrico Tassi
Reply to: