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....@benwick.benjamin.barenblat.name