@agatkao Did you recheck ? Extras-devel gave me some update error today till now. Everything is fine again. How did you setup the repo ? Like this ?