diff --git a/extra-dev/packages/coq-autosubst/coq-autosubst.dev/opam b/extra-dev/packages/coq-autosubst/coq-autosubst.dev/opam
index b1ad71cbfd..daedfdd9c6 100644
--- a/extra-dev/packages/coq-autosubst/coq-autosubst.dev/opam
+++ b/extra-dev/packages/coq-autosubst/coq-autosubst.dev/opam
@@ -19,7 +19,8 @@ substitutions."""
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "coq" {>= "8.14"}
+    "rocq-core"
+    "rocq-stdlib"
 ]
 
 tags: [