On Sun, Jul 31, 2016 at 11:56:15AM +0200, Stéphane Glondu wrote:
> On 30/07/2016 20:06, Ralf Treinen wrote:
> > I don't unerstand. AFAICS, there is no coqdoc documentation in the
> > libsssreflect-ocaml[-dev] packages.
> >
> > My request was about building the architecture-dependant packages. There
> > is nothing to be gained from optimizing building the architecture-independant
> > packages.
>
> I think Ralf was talking about not building lib{mathcomp,ssreflect}-coq
> (which take most of the time) when only arch any packages are requested
> (which is the case on buildds).
Ah, ok, I misunderstood the first time around.
Sorry about that :V
Attachment:
signature.asc
Description: PGP signature