@2171840:ocaml-intrinsics-kernel-0.17.1-1.mga10.src.rpm: ok