coq-neural-net-interp-computed can run without coq-native

coq · Sep 9, 2023 · 957cb33 · 957cb33
1 parent 8e333bd
commit 957cb33
Showing 1 changed file with 0 additions and 1 deletion.
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
@@ -10,7 +10,6 @@ build: [make "-j%{jobs}%" "computed"]
 install: []
 depends: [
   "coq" {>= "8.17~"}
-  "coq-native"
 ]
 conflict-class: [
   "coq-neural-net-interp"