Skip to content
Snippets Groups Projects
user avatar
Allan Blanchard authored
23.0-Vanadium release [Fix OPAM file]

See merge request pub.frama-c.com!122
28bec3c3
History
Name Last commit Last update