diff --git a/VERSION b/VERSION index 8f08de2f1dcbcd644edd53ebb9dbf9ce6bb2f9e9..e05f67667f953aef068e3ff9bf4a4244478e7463 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -19.0-beta \ No newline at end of file +19.0-beta2 \ No newline at end of file diff --git a/opam/opam b/opam/opam index 6d397bf21e359a873874cea691ddf2ca6a149489..7b2c44a9fa950c7f74182a16dd6bf4f04e6cd759 100644 --- a/opam/opam +++ b/opam/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: "19.0.beta1" +version: "19.0.beta2" maintainer: "francois.bobot@cea.fr" authors: [ "Michele Alberti"