diff --git a/semantics.opam b/semantics.opam
index aa2d2f8e05303ce0393e645241c247bae2e7cdcf..d095cc2a7ea71706fbc166fc534f4617bfb39154 100644
--- a/semantics.opam
+++ b/semantics.opam
@@ -11,7 +11,6 @@ depends: [
   "coq-iris-heap-lang" { (= "dev.2022-07-08.0.a513639d") | (= "dev") }
   "coq-equations" { (= "1.2.4+8.13") | (= "1.3+8.14") | (= "1.3+8.15") }
   "coq-autosubst" { = "1.7" }
-  "coqide" { >= "8.13" & < "8.16~" }
 ]
 
 build: [make "-j%{jobs}%"]