@2250656:ocaml-stdio-0.17.0-2.mga10.src.rpm: ok