On 04.09.2018 22:49, Adrian Bunk wrote: Hi Adrian,
> 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? Thanks! Hilmar [1] https://freeshell.de/~hille42/rubber/ -- sigfault #206401 http://counter.li.org
