diff --git a/opam/opam b/opam/opam index 3fb14aaa567a232c227609801954f93059184b96..bba7a550a8ca6624b6abcd1696a328c1bfa954e8 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: "23.0~rc1" +version: "23.0" description:""" Frama-C gathers several analysis techniques in a single collaborative framework, based on analyzers (called "plug-ins") that can build upon the