Frama-C - dev version

VERSION

-27.0
+27.0+dev

opam

 opam-version: "2.0"
 name: "frama-c"
 synopsis: "Platform dedicated to the analysis of source code written in C"
-version: "27.0"
+version: "27.0+dev"
 description:"""
 Frama-C gathers several analysis techniques in a single collaborative
 framework, based on analyzers (called "plug-ins") that can build upon the

tools/hdrck/frama-c-hdrck.opam

 opam-version: "2.0"
 name: "frama-c-hdrck"
 synopsis: "Frama-C header check tool"
-version: "27.0"
+version: "27.0+dev"
 description:"""
 Performs all checks related to file headers as required by the Frama-C
 continuous integration.

tools/lint/frama-c-lint.opam

 opam-version: "2.0"
 name: "frama-c-lint"
 synopsis: "Frama-C lint tool"
-version: "27.0"
+version: "27.0+dev"
 description:"""
 Performs all checks related to source code formatting as required by the Frama-C
 continuous integration. Namely: OCP-indent for ML files, clang-format for E-ACSL