23.0-Vanadium release [Fix OPAM file]

4 jobs for release/stable-23.0-vanadium in 8 minutes and 53 seconds
latest