diff --git a/VERSION b/VERSION index a0d6856dbeecfde64269587cdef95a06b5edc878..f4831f63bed9915b0e23423ddb031832c7c394b5 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -27.0 +27.0~beta diff --git a/opam b/opam index 91fb16592886f5007c8f93e9641852200f070b25..89620c900f4374b99a222e897804bdfafa81187b 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: "27.0" +version: "27.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 @@ -70,7 +70,7 @@ authors: [ homepage: "https://frama-c.com/" license: "LGPL-2.1-only" dev-repo: "git+https://git.frama-c.com/pub/frama-c.git" -doc: "http://frama-c.com/download/user-manual-27.0-Cobalt.pdf" +doc: "http://frama-c.com/download/user-manual-27.0-beta-Cobalt.pdf" bug-reports: "https://git.frama-c.com/pub/frama-c/issues" tags: [ "deductive"