Update project and OPAM files

daniel-larraz · Jun 22, 2023 · 405d6f4 · 405d6f4
1 parent e94daba
commit 405d6f4
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/dune-project b/dune-project
@@ -1,7 +1,6 @@
 (lang dune 2.7)
 
 (name kind2)
-(version 2.0.0)
 
 (package
  (name kind2)

diff --git 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.0.0"
 synopsis:
   "Multi-engine, parallel, SMT-based automatic model checker for safety properties of Lustre programs"
 description: """