Cheers, Samuel.BTW: I'm also considering dropping coqtop.byte and coqide.byte from the package on native archs since they are quite big, unless someone objects to it.
Claudio Sacerdoti Coen wrote:
Just a curiosity: now that the two libs packages are "Architecture: all", are the libraries compiled on every arch (and uploaded by just one architecture) or are they compiled and uploaded only by the fastest machine? Cheers, C.S.C.