diff --git a/packages/irmin-client/irmin-client.3.9.0/opam b/packages/irmin-client/irmin-client.3.9.0/opam
index 14bd41f3ff7b..467462d4367e 100644
--- a/packages/irmin-client/irmin-client.3.9.0/opam
+++ b/packages/irmin-client/irmin-client.3.9.0/opam
@@ -5,10 +5,11 @@ authors: "Zach Shipko <zachshipko@gmail.com>"
 license: "ISC"
 homepage: "https://github.com/mirage/irmin"
 doc: "https://irmin.org"
+dev-repo: "git+ssh://github.com/mirage/irmin"
 bug-reports: "https://github.com/mirage/irmin/issues"
 depends: [
   "ocaml" {>= "4.08.0"}
-  "dune" {>= "2.0.0"}
+  "dune" {>= "2.9.0"}
   "irmin-server" {= version}
   "irmin-cli" {= version}
   "ipaddr"
@@ -23,11 +24,10 @@ depends: [
   "irmin-test" {= version & with-test}
 ]
 build: [
-  ["dune" "subst"] {pinned}
+  ["dune" "subst"] {dev}
   ["dune" "build" "-p" name "-j" jobs]
   ["dune" "runtest" "-p" name] {with-test}
 ]
-dev-repo: "git+ssh://github.com/mirage/irmin"
 url {
   src:
     "https://github.com/mirage/irmin/releases/download/3.9.0/irmin-3.9.0.tbz"
diff --git a/packages/irmin-server/irmin-server.3.9.0/opam b/packages/irmin-server/irmin-server.3.9.0/opam
index f305e9826ead..b6a2d0dbfca7 100644
--- a/packages/irmin-server/irmin-server.3.9.0/opam
+++ b/packages/irmin-server/irmin-server.3.9.0/opam
@@ -5,10 +5,11 @@ authors: "Zach Shipko <zachshipko@gmail.com>"
 license: "ISC"
 homepage: "https://github.com/mirage/irmin"
 doc: "https://irmin.org"
+dev-repo: "git+ssh://github.com/mirage/irmin"
 bug-reports: "https://github.com/mirage/irmin/issues"
 depends: [
   "ocaml" {>= "4.08.0"}
-  "dune" {>= "2.0.0"}
+  "dune" {>= "2.9.0"}
   "optint" {>= "0.1.0"}
   "irmin" {= version}
   "ppx_irmin" {= version}
@@ -29,7 +30,7 @@ depends: [
 ]
 
 build: [
-  ["dune" "subst"] {pinned}
+  ["dune" "subst"] {dev}
   ["dune" "build" "-p" name "-j" jobs]
   ["dune" "runtest" "-p" name] {with-test}
 ]