diff --git a/opam/opam b/opam/opam index 8a26457240b7753f0f27e8d8bd9c657eb4332ae2..85659377f85789d3df55105f1f40c67e8e16e7fb 100644 --- a/opam/opam +++ b/opam/opam @@ -1,7 +1,7 @@ opam-version: "2.0" name: "frama-c" synopsis: "Platform dedicated to the analysis of source code written in C" -version: "21.1+dev" +version: "22.0-beta" description:""" Frama-C gathers several analysis techniques in a single collaborative framework, based on analyzers (called "plug-ins") that can build upon the