diff --git a/VERSION b/VERSION index 9ebdb8ce128b236daf6708edcc475f065beb1568..4d9c5c492ab8d7bb65127c811de9553e31e9916f 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -21.0-beta +21.0+dev diff --git a/opam/opam b/opam/opam index 8a5f0c1821956c3b5678ba49c67fc6716f0c7474..7000def7f033c83ac4d315868aed6677372a8cde 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: "20.0" +version: "21.0+dev" maintainer: "francois.bobot@cea.fr" authors: [ "Michele Alberti" @@ -50,7 +50,7 @@ authors: [ homepage: "http://frama-c.com/" license: "GNU Lesser General Public License version 2.1" dev-repo: "git+https://git.frama-c.com/pub/frama-c.git" -doc: "http://frama-c.com/download/user-manual-20.0-Calcium.pdf" +doc: "http://frama-c.com/download/user-manual-21.0-Scandium.pdf" bug-reports: "https://bts.frama-c.com/" tags: [ "deductive"