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