From e39e49806bae2186ab461bbaba027bed79b8cb57 Mon Sep 17 00:00:00 2001
From: Daniel Larraz <daniel-larraz@users.noreply.github.com>
Date: Tue, 26 Dec 2023 18:49:55 -0600
Subject: [PATCH] Update project and OPAM files

---
 dune-project | 1 -
 kind2.opam   | 1 -
 2 files changed, 2 deletions(-)

diff --git a/dune-project b/dune-project
index 1ea5e24e2..3ff510927 100644
--- a/dune-project
+++ b/dune-project
@@ -1,7 +1,6 @@
 (lang dune 2.7)
 
 (name kind2)
-(version 2.1.1)
 
 (package
  (name kind2)
diff --git a/kind2.opam b/kind2.opam
index 5b3f90ea8..7e6facfaa 100644
--- a/kind2.opam
+++ b/kind2.opam
@@ -1,6 +1,5 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "2.1.1"
 synopsis:
   "Multi-engine, parallel, SMT-based automatic model checker for safety properties of Lustre programs"
 description: """