Bug#919461: ssreflect ftbfs in unstable
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.
[1] https://lists.debian.org/msgid-search/875zvih02a.jfx@benwick.benjamin.barenblat.name
Reply to: