Re: Newcomer to the team
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 :)
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.
Best,
nicoo
On Thu, Jul 07, 2016 at 03:05:49AM +0200, Mehdi Dogguy wrote:
> Hi Nicolas,
>
> On 06/07/2016 23:23, Nicolas Braud-Santoni wrote:
> > Hi,
> >
> > After meeting Mehdi and Ralf during Debconf (and I've known olasd for
> > a while), I starting prodding at various OCaml-related bugs.
> >
>
> Good. Good. :-)
>
> > I'm interested in joining the team, and contribute to existing packages
> > and issues, time permitting.
> >
>
> Very Good. Very Good. :-)
>
> >
> > In particular, I've started preparing an upload for a new upstream
> > version of mathcomp, compatible with Coq 8.5.
> > ssreflect is now shipped upstream as part of mathcomp, so I took care
> > to still produce the expected binary packages for ssreflect.
> >
> > This should make mathcomp and ssreflect buildable again,
> > closing bug #813820:
> > ssreflect: FTBFS: Error: Unbound type constructor glob_constr_and_expr
> >
> >
> > Assuming I get added to the team, may I simply push my proposed changes to
> > the packaging repo for someone to review? Given that all 3 branches
> > (master, upstream, pristine-tar) are involved, that would make things
> > simpler.
> >
>
> Yes, assuming you know how to use git-buildpackage and the git layout used
> in our repositories. Do not hesitate to ask questions if any doubt.
>
> I've approved your request to join the team on alioth.
>
> Cheers,
>
> --
> Mehdi
>
Reply to: