mathcomp 1.5-4 is marked for autoremoval from testing on 2016-03-20 It (build-)depends on packages with these RC bugs: 813820: ssreflect: FTBFS: Error: Unbound type constructor glob_constr_and_expr