@2250887:opam-2.3.0-2.mga10.src.rpm: ok