use-dpkg-buildflags.patch
use_debian_seqan.patch
seqan-fix-setBegin-call.patch
seqan-rename-ChunkPool.patch
seqan-rename-fill-to-resize.patch
disable_bits_flag.patch
no_hash_style_both_for_mips.patch
