On Sun, Sep 25, 2016 at 10:38:50PM +0200, Ralf Treinen wrote: > you are right, we should come to a conclusion. What I had in mind is > in fact quite simple. I'll push to the git tomorrow for review.
I've a package ready for upload, just pushed to the ssreflect repo. I've just tested it, and binary-only build works fine. I think the best way to get something working in the archive is to upload this one and RM:mathcomp. Best, -- Enrico Tassi
