Bug#946315: infernal: please make the build reproducible

[Chris Lamb]

forwarded 946315 https://github.com/EddyRivasLab/infernal/pull/19
thanks

I've forwarded this upstream here:

  https://github.com/EddyRivasLab/infernal/pull/19


Regards,

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