Source: ssreflect Version: 1.7.0+dfsg-1 Severity: wishlist This is a big package, it should be split into several binary packages along the the line of the opam packaging of mathcomp.