Merge proposals

rust-opam-file-rs in Ubuntu has no merge proposals.