Commit f9eda955 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

Update opam Frama-C version to 22.0-Titanium

parent 46f9bf05
opam-version: "2.0" opam-version: "2.0"
name: "frama-c" name: "frama-c"
synopsis: "Platform dedicated to the analysis of source code written in C" synopsis: "Platform dedicated to the analysis of source code written in C"
version: "21.1+dev" version: "22.0-beta"
description:""" description:"""
Frama-C gathers several analysis techniques in a single collaborative Frama-C gathers several analysis techniques in a single collaborative
framework, based on analyzers (called "plug-ins") that can build upon the framework, based on analyzers (called "plug-ins") that can build upon the
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment