Bastian Blank wrote:
Interestingly, the later binnmu does not contain this file at all.
Note that the error I reported happened while building "python-escript-doc", which is binary-indep. So, just because we can see successful binary-arch builds in buildd.debian.org for version 5.6-9+b1 three days ago does not necessarily mean that the package would build ok in all the buildds (including Arch:all) today. In either case, my best theory so far is that this package just needs the usual openmpi oversubscribe thing, as I see OMP_NUM_THREADS=4 somewhere in the code and the build machine I used for the report had 2 CPUs, but I have not had time to test this theory yet. Thanks.
