diff --git a/caisar.opam b/caisar.opam
new file mode 100644
index 0000000000000000000000000000000000000000..5ea4dc1e9f6f0e2a65ef3de2f880a2d5ffd651f0
--- /dev/null
+++ b/caisar.opam
@@ -0,0 +1,28 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+version: "0.1"
+synopsis: "Framework for neural network verification"
+depends: [
+  "dune" {>= "2.7" & >= "2.7.1"}
+  "base" {>= "v0.14.0"}
+  "cmdliner" {>= "1.0.4"}
+  "fmt" {>= "0.8.9"}
+  "logs" {>= "0.7.0"}
+  "ppx_deriving" {>= "5.1"}
+  "yojson" {>= "1.7.0"}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
diff --git a/dune-project b/dune-project
index c9e752489ca78e9a27701397a7875d2e127462b0..61ba062833ca25cd31c7e7205fd63c9e0eef1547 100644
--- a/dune-project
+++ b/dune-project
@@ -1,9 +1,21 @@
 (lang dune 2.7)
 (name caisar)
-(version 0.0)
+(version 0.1)
 
 (using menhir 2.1)
 
+(generate_opam_files true)
+
 (package
   (name caisar)
-  (synopsis "Framework for neural network verification"))
+  (synopsis "Framework for neural network verification")
+  (depends
+   (dune (>= 2.7.1))
+   (base (>= v0.14.0))
+   (cmdliner (>= 1.0.4))
+   (fmt (>= 0.8.9))
+   (logs (>= 0.7.0))
+   (ppx_deriving (>= 5.1))
+   (yojson (>= 1.7.0))
+  )
+)