From d99c65376838afee1e374d473251abd2411ec9d7 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Thu, 14 May 2020 09:16:47 +0200
Subject: [PATCH] [opam] update version and manual url

---
 opam/opam | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/opam/opam b/opam/opam
index 8a5f0c18219..9b605e44636 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-beta"
 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