Re: [Fedora-packaging] SeqAn downgrading