Re: Newcomer to the team

[Ralf Treinen <treinen@pps.univ-paris-diderot.fr>]

Hi,

On Sat, Jul 23, 2016 at 01:24:49PM -0400, Nicolas Braud-Santoni wrote:
> Hi,
> 
> Just a quick status update:  I finally have an updated package which
> I'm happy with.  Sorry it took so long, but I had relatively limited
> availability, and the 45 minutes build time didn't help  ^.^
> 
> I should push it to alioth this evening (Toronto time, so in the
> European time), and then I would greatly appreciate some review  :)

Great ! I am currently travelling, and don't have my gpg key with me
so I cannot upload until I am back home, but I will try to have a look
at your package over the next days.

> One main change I did was to split off the documentation in a separate
> package, since it was directly in libmathcomp-coq and libssreflect-coq,
> and made libmathcomp-coq Recommend: mathcomp-doc (since it previously
> contained those files).
> 
> I chose to keep the documentation of both mathcomp and ssreflect
> together, and it looks like they would be hard to separate in any case.

Sounds good.

Thanks -Ralf.