diff --git a/packages/datalog/datalog.0.7/opam b/packages/datalog/datalog.0.7/opam
index 47b9022849e..608848c00a8 100644
--- a/packages/datalog/datalog.0.7/opam
+++ b/packages/datalog/datalog.0.7/opam
@@ -13,7 +13,7 @@ depends: [
   "mdx" {>= "1.3" & with-test}
 ]
 build: [
-  ["dune" "subst"] {pinned}
+  ["dune" "subst"] {dev}
   [
     "dune"
     "build"