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

23.0-Vanadium release [Fix OPAM file] See merge request !122

Merge branch 'release/stable-23.0-vanadium' into 'master'
23.0-Vanadium release [Fix OPAM file] See merge request !122
28bec3c3 · Allan Blanchard · 64ded739 · 174cb7f0 · 28bec3c3 · 28bec3c3
Commit 28bec3c3 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