<div dir="ltr"><div dir="ltr">Already done, after consulting with the Seqan developers: <a href="https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=980798">https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=980798</a></div></div>