diff --git a/VERSION b/VERSION index 6c0468589efe7f4c7ce8127d93c23e3a06209211..ba70ecb3bfcf411030b2dc3cf0b60e1279bccee6 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -28.0~beta +28.0 diff --git a/opam b/opam index 1ff46030e0d3efead3c0ec7ce50615ab8fea88d0..e97114cfdcc086e1ebf9c2e254436a0cc333e3dc 100644 --- a/opam +++ b/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: "28.0~beta" +version: "28.0" description:""" Frama-C gathers several analysis techniques in a single collaborative framework, based on analyzers (called "plug-ins") that can build upon the