From f9eda955071df61a1e035602584ae503f6b0aa3f Mon Sep 17 00:00:00 2001 From: Allan Blanchard <allan.blanchard@cea.fr> Date: Thu, 22 Oct 2020 15:11:03 +0200 Subject: [PATCH] Update opam Frama-C version to 22.0-Titanium --- opam/opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/opam/opam b/opam/opam index 8a26457240b..85659377f85 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 -- GitLab