Re: Newcomer to the team
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.
Reply to: