Ralf Treinen Sun, 24 Feb 2019 23:57:34 -0800
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.
