Bug#832877: Bug #832877: mathcomp: FTBFS: build-dependency not installable: libssreflect-coq (>= 1.5)

[Nicolas Braud-Santoni]

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.

signature.asc
Description: PGP signature