On Sun, Sep 09, 2018 at 02:19:50PM +0200, Hilmar Preuße wrote: > On 09.09.2018 12:14, Adrian Bunk wrote: > > On Sat, Sep 08, 2018 at 11:56:26PM +0200, Hilmar Preuße wrote: > >> On 04.09.2018 22:49, Adrian Bunk wrote: > > Hi Adrian,
Hi Hilmar, > >>> Package: rubber > >>> Version: 1.5-1 > >>> Severity: serious > >>> Control: affects -1 src:why3 > >>> > >>> https://tests.reproducible-builds.org/debian/rb-pkg/unstable/arm64/why3.html > >>> > >> I've uploaded 1.5-2 here [1]. Do you have the chance to test if it > >> solves the problem? > > > > Please add the rubber_1.5-2.debian.tar.xz > > > Done, please test! I can confirm that it fixes the why3 build. Your solution is a bit ouch, but I understand why it is not easy to fix in a better way. > Thanks! cu Adrian -- "Is there not promise of rain?" Ling Tan asked suddenly out of the darkness. There had been need of rain for many days. "Only a promise," Lao Er said. Pearl S. Buck - Dragon Seed