Hi Lucas,
Your report is in essence a duplicate of #832877 (which is assigned to
ssreflect).
There is an upload pending that solves this issue ;)
Best,
nicoo
PS: I'm not merging those bugs, since they are assigned to different
source packages; after the upload, ssreflect will be built by the
mathcomp source package.
Attachment:
signature.asc
Description: PGP signature