@2250710:ocaml-astring-0.8.5-5.mga10.src.rpm: ok