Dear Maintainer,

> Source: boolector
> Version: 1.4.ffc2089.100608-1
> Tags: patch

There hasn't seem to be any update on this bug in 63 days, in which
time the Reproducible Builds effort has come on a long way. :)

Would you consider applying this patch and uploading?


Regards,

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

Reply via email to