Bug#839221: RM: mathcomp -- ROM; superseeded by ssreflect 1.6

[Enrico Tassi]

Package: ftp.debian.org
Severity: normal

ssreflect used to be 1 source,
then it was split in 2 by the upstream (ssreflect + mathcomp) and now we are
back
at 1.