From 0e9364477ae9b3147392746d48068e75a2cd6f30 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Fri, 15 May 2020 14:20:37 +0200
Subject: [PATCH] update version for master branch

---
 VERSION   | 2 +-
 opam/opam | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/VERSION b/VERSION
index 9ebdb8ce128..4d9c5c492ab 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-21.0-beta
+21.0+dev
diff --git a/opam/opam b/opam/opam
index 8a5f0c18219..7000def7f03 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"
-- 
GitLab