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