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
Attachment:
signature.asc
Description: OpenPGP digital signature