diff --git a/CHANGES.md b/CHANGES.md
index d848ead7121ba16a792d6e6805db6fd72e38d4ab..d6ee9de6e8cb2582c53d0cd9b2bd1f05d1a563ee 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,4 +1,4 @@
-# 2.0 (17-06-2024)
+## 2.0 (19-06-2024)
 
 - [interpretation] Add transformations that allow the verification of several
   neural network at once. Within particular patterns, CAISAR will generate
diff --git a/caisar.opam b/caisar.opam
index 0db7513743e77c37597920752ecb47f3aa1e5b76..ed401cf1ec40ab007e9662cd60347161bc0a907e 100644
--- a/caisar.opam
+++ b/caisar.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "1.0"
+version: "2.0"
 synopsis:
   "A platform for characterizing the safety and robustness of artificial intelligence based software"
 maintainer: ["AISER team, Software Safety and Security Laboratory, CEA-List"]
@@ -35,6 +35,7 @@ depends: [
   "ppx_deriving" {>= "5.1"}
   "ppx_inline_test" {>= "0.12.0"}
   "ppx_deriving_yojson" {>= "3.6.1"}
+  "conf-python-3" {with-test}
   "odoc" {with-doc}
 ]
 build: [
diff --git a/dune-project b/dune-project
index 55284aa1581c8a2c0bd544f41e9a0c4269072919..caa45f980b857c55c522cc93ad6977524ba7ad66 100644
--- a/dune-project
+++ b/dune-project
@@ -1,6 +1,6 @@
 (lang dune 3.8)
 (name caisar)
-(version 1.0)
+(version 2.0)
 
 (using dune_site 0.1)
 
@@ -45,6 +45,7 @@
    (ppx_deriving (>= 5.1))
    (ppx_inline_test (>= 0.12.0))
    (ppx_deriving_yojson (>= 3.6.1))
+   (conf-python-3 :with-test)
   )
   (sites
    (share stdlib)