Already done, after consulting with the Seqan developers: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=980798
- Bug#980685: seqan: FTBFS: dh_auto_test: error: ... Lucas Nussbaum
- Bug#980685: seqan: FTBFS: dh_auto_test: er... Michael R. Crusoe
- Bug#980685: seqan: FTBFS: dh_auto_test... Andreas Tille
- Bug#980685: seqan: FTBFS: dh_auto_... Michael R. Crusoe
- Bug#980685: marked as done (seqan: FTBFS: ... Debian Bug Tracking System