Commit 56625c50 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

fix version number in opam/opam

parent 918b4c45
opam-version: "2.0"
name: "frama-c"
synopsis: "Platform dedicated to the analysis of source code written in C"
version: "25.0~beta"
version: "25.0"
Frama-C gathers several analysis techniques in a single collaborative
framework, based on analyzers (called "plug-ins") that can build upon the
Supports Markdown
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