Re: Uploads needed

[Ralf Treinen <treinen@pps.univ-paris-diderot.fr>]

Hi,

On Fri, Jul 29, 2016 at 10:42:10PM +0200, Nicolas Braud-Santoni wrote:

> > 2) Another remark concerns the organisation of debian/rules. You now have
> > two Architecture=any packages, these will be build by the autobuilders.
> > These packages alone should be quick to compile. [...]
> > Do you think you can do this ? This would also allow you to move
> > some of the Build-Dependencies into Build-Depends-Indep.
> 
> I'm not sure the coqdoc documentation can be built without building the
> rest, but I can try at some point.

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.

Cheers -Ralf.