Re: mathcomp/ssreflect packaging (Was: Uploads needed)
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
Reply to: