@2251020:ocaml-result-1.5-5.mga10.src.rpm: ok