diff --git a/coq-stdpp-bitvector.opam b/coq-stdpp-bitvector.opam
index e36c977..1e49a1b 100644
--- a/coq-stdpp-bitvector.opam
+++ b/coq-stdpp-bitvector.opam
@@ -22,5 +22,16 @@ depends: [
   "coq-stdpp" {= version}
 ]
 
-build: ["./make-package" "stdpp_bitvector" "-j%{jobs}%"]
-install: ["./make-package" "stdpp_bitvector" "install"]
+build: [
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
diff --git a/coq-stdpp-unstable.opam b/coq-stdpp-unstable.opam
index 936f622..18b5390 100644
--- a/coq-stdpp-unstable.opam
+++ b/coq-stdpp-unstable.opam
@@ -21,5 +21,16 @@ depends: [
   "coq-stdpp-bitvector" {= version}
 ]
 
-build: ["./make-package" "stdpp_unstable" "-j%{jobs}%"]
-install: ["./make-package" "stdpp_unstable" "install"]
+build: [
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
diff --git a/coq-stdpp.opam b/coq-stdpp.opam
index 5e30829..6e10ab9 100644
--- a/coq-stdpp.opam
+++ b/coq-stdpp.opam
@@ -37,5 +37,16 @@ depends: [
   "rocq-stdlib" { = "dev" }
 ]
 
-build: ["./make-package" "stdpp" "-j%{jobs}%"]
-install: ["./make-package" "stdpp" "install"]
+build: [
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]