23.0-Vanadium release [Fix OPAM file]

174cb7f0 · Allan Blanchard · 64ded739 · 174cb7f0 · 174cb7f0 · 174cb7f0
Commit 174cb7f0 authored Jul 06, 2021 by Allan Blanchard
--- a/download/frama-c-23.0-Vanadium-api.tar.gz
+++ b/download/frama-c-23.0-Vanadium-api.tar.gz
--- a/download/frama-c-23.0-Vanadium.tar.gz
+++ b/download/frama-c-23.0-Vanadium.tar.gz
--- a/download/frama-c-source-dist.tar.gz
+++ b/download/frama-c-source-dist.tar.gz
--- a/download/hello-23.0-Vanadium.tar.gz
+++ b/download/hello-23.0-Vanadium.tar.gz