Remote copy for synchronizing between different workplaces only. Not guaranteed to be a stable version. Use the original SeqAn repository instead (https://github.com/seqan/seqan)!