@2250283:ocaml-intrinsics-kernel-0.17.1-2.mga10.src.rpm: ok