Исправление Artamudo, 16.06.20 07:54 (текущая версия) :
Вполне хватит и 5.4.
https://koji.fedoraproject.org/koji/packageinfo?buildStart=150&packageID=...
UPD: а вот и 4.19
https://koji.fedoraproject.org/koji/packageinfo?buildStart=600&packageID=...
Исходная версия Artamudo, 16.06.20 07:28: