diff --git a/cvc5.opam b/cvc5.opam
index f9332e0..38131e2 100644
--- a/cvc5.opam
+++ b/cvc5.opam
@@ -15,6 +15,7 @@ depends: [
   "conf-gmp" {build}
   "conf-cmake" {build}
   "conf-python-3" {build}
+  "conf-python-3-dev" {build}
   "odoc" {with-doc}
 ]
 build: [
diff --git a/dune-project b/dune-project
index c9a0471..e780b95 100644
--- a/dune-project
+++ b/dune-project
@@ -24,4 +24,5 @@
    (conf-g++ :build)
    (conf-gmp :build)
    (conf-cmake :build)
-   (conf-python-3 :build)))
+   (conf-python-3 :build)
+   (conf-python-3-dev :build)))