diff --git a/ALL_VERSIONS b/ALL_VERSIONS index 41c8714b5e8cec36bdab5450c57eb8db4568e653..067ee6966c301fb5ed23c32d0e33abe709038f27 100644 --- a/ALL_VERSIONS +++ b/ALL_VERSIONS @@ -1,5 +1,6 @@ Version number Date of release Notes ============== =============== ===== +19.1 (Potassium) 2019, August 30 OCaml 4.08 compatibility 19.0 (Potassium) 2019, June 21 18.0 (Argon) 2018, November 29 Chlorine-20180502 2018, July 06 Bug fixed diff --git a/VERSION b/VERSION index 0c48b6c985e328b88a009121a6e0431a102a7db0..187bf91fcf39e005e7c6cef66284730dca1d65fd 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -19.0 \ No newline at end of file +19.1 diff --git a/opam/opam b/opam/opam index bac0804058ead8e4a206b5a7e108b2643056e68a..dc6d31de65ac0bca1c47cee93a93b9e8db41f354 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" +version: "19.1" maintainer: "francois.bobot@cea.fr" authors: [ "Michele Alberti"