diff --git a/extra-dev/packages/coq-neural-net-interp-computed/coq-neural-net-interp-computed.dev/opam b/extra-dev/packages/coq-neural-net-interp-computed/coq-neural-net-interp-computed.dev/opam
index 56e9705ac..56e523e2c 100644
--- a/extra-dev/packages/coq-neural-net-interp-computed/coq-neural-net-interp-computed.dev/opam
+++ b/extra-dev/packages/coq-neural-net-interp-computed/coq-neural-net-interp-computed.dev/opam
@@ -10,7 +10,6 @@ build: [make "-j%{jobs}%" "computed"]
 install: []
 depends: [
   "coq" {>= "8.17~"}
-  "coq-native"
 ]
 conflict-class: [
   "coq-neural-net-interp"