Allan Blanchard authored 3 years ago

23.0-Vanadium release [Fix OPAM file]

See merge request pub.frama-c.com!122