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.
