diff --git a/ALL_VERSIONS b/ALL_VERSIONS index 528222fa62ebb4aec8bd560b1e8d2192fa5c952e..30537788bc31ee6d08b604c796fc9793aa7f0312 100644 --- a/ALL_VERSIONS +++ b/ALL_VERSIONS @@ -1,5 +1,6 @@ Version number Date of release Notes ============== =============== ===== +21.0 (Scandium) 2020, June 11 20.0 (Calcium) 2019, December 4 19.1 (Potassium) 2019, September 18 OCaml 4.08 compatibility 19.0 (Potassium) 2019, June 21 diff --git a/VERSION b/VERSION index 9ebdb8ce128b236daf6708edcc475f065beb1568..5f39e9144690bb1f6f33d3db3cbd58ab198165a3 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -21.0-beta +21.0 diff --git a/opam/opam b/opam/opam index dc97b4ee787cbdcb8bc5ac9c45c223ce217f2d48..36a9a10da3e868efb45cfbf3aba10d270ff8252b 100644 --- a/opam/opam +++ b/opam/opam @@ -16,7 +16,7 @@ Thanks to this approach, Frama-C provides sophisticated tools, including: These plug-ins communicate between each other via the Frama-C API and via ACSL (ANSI/ISO C Specification Language) properties. """ -version: "21.0-beta" +version: "21.0" maintainer: "francois.bobot@cea.fr" authors: [ "Michele Alberti"