No data for openSUSE:Factory:RISCV / opam-file-format