Hello, one more thing that would be nice to have is gtk-doc: http://hydra.gnu.org:3000/build/1345571 I already tried to upgrade to 1.25, but that did not change the error. And maybe node for those who are interested in it: http://hydra.gnu.org:3000/build/1326189
And there are a few failures of python packages. Two more cases of non-determinism: The updated versions of dealii and zsh built without problem on my x86_64 laptop, but fail on hydra (on x86_64 and i686). Andreas
