From c5f0591689fa054fa1caae8cc0c130605f63c338 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 10 Sep 2020 11:02:33 +0200
Subject: [PATCH] update opam version number

---
 opam/opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/opam/opam b/opam/opam
index aabcdf4efa9..3390d683f72 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.1"
+version: "21.1+THS-1"
 maintainer: "francois.bobot@cea.fr"
 authors: [
   "Michele Alberti"
-- 
GitLab