Merge branch 'release/stable-23.0-vanadium' into 'master'

23.0-Vanadium release [Fix OPAM file]

See merge request !122
2 jobs for master in 1 minute and 55 seconds (queued for 3 seconds)