From 7609e01a26f77522bdea854be0901d8bd44d6947 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lennard=20G=C3=A4her?= <l.gaeher@posteo.de>
Date: Tue, 26 Jul 2022 22:27:04 +0200
Subject: [PATCH] remove coqide from deps to make ci work
---
semantics.opam | 1 -
1 file changed, 1 deletion(-)
diff --git a/semantics.opam b/semantics.opam
index aa2d2f8..d095cc2 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}%"]
--
GitLab