On Fri, Sep 21, 2018 at 08:15:06PM +0200, Hilmar Preuße wrote: >... > Upstream decided to solve the problem a different way and has released > version 1.5.1. New package is on [1], could you retest?
Apologies for the late reply, the package in unstable looks good: https://tests.reproducible-builds.org/debian/rb-pkg/unstable/amd64/why3.html https://tests.reproducible-builds.org/debian/rb-pkg/unstable/amd64/ocaml-text.html > Thanks! > > Hilmar Thanks 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
