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