Switch to mirrored barvinok, because repo.or.cz is frequently down