remove coqide from deps to make ci work

7609e01a · Lennard Gäher · dcbc9cf4 · 7609e01a
Commit 7609e01a authored 2 years ago by Lennard Gäher
--- 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}%"]