Bug#919461: ssreflect ftbfs in unstable
Hi,
On Thu, Feb 07, 2019 at 12:51:54PM -0500, Benjamin Barenblat wrote:
> Control: retitle 919461 ssreflect FTBFS in unstable
> Control: noowner 919461
>
> I’m guessing this is just that 1.6.1 is not compatible with Coq 8.9.
> Uploading 1.7.0 might resolve the issue, but I’m uninterested in doing
> that work, particularly since the package is licensed under CeCILL-B,
> which I believe to be nonfree [1].
>
> Would anybody else like to do an upload of this? If not, we should just
> let it drop out of testing.
It seems that ssreflect is now distributed as part of the coq
sources (in plugins/ssr) under LGPL 2.1. So I guess this means
that the ssreflect source package can simply be removed. If
someone who knows coq and ssreflect could please confirm.
-Ralf.
Reply to: