Bug#831664: why3: please make the build reproducible

[Chris Lamb]

> thanks. Since I had already patched the package to not use BUILDDATE, I now
> just dropped it completely from configure.in.

Thanks!


Regards,

-- 
      ,''`.
     : :'  :     Chris Lamb
     `. `'`      la...@debian.org / chris-lamb.co.uk
       `-