{compatibility version of SeqAn}

WWW: https://www.seqan.de
