Update the coqide.opam file to match what is accepted in opam-reposit…

…ory.
Zimmi48 · Jul 4, 2023 · d3f2126 · d3f2126
1 parent aaaf899
commit d3f2126
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/coqide.opam b/coqide.opam
@@ -18,7 +18,11 @@ doc: "https://coq.github.io/doc/"
 bug-reports: "https://github.com/coq/coq/issues"
 depends: [
   "dune" {>= "2.9"}
+  "ocamlfind" {build}
+  "conf-findutils" {build}
+  "conf-adwaita-icon-theme"
   "coqide-server" {= version}
+  "cairo2" {>= "0.6.4"}
   "lablgtk3-sourceview3" {>= "3.1.2"}
 ]
 build: [

diff --git a/dune-project b/dune-project
@@ -84,7 +84,11 @@ structured way."))
 (package
  (name coqide)
  (depends
+  (ocamlfind :build)
+  (conf-findutils :build)
+  conf-adwaita-icon-theme
   (coqide-server (= :version))
+  (cairo2 (>= 0.6.4))
   (lablgtk3-sourceview3 (>= 3.1.2)))
  (synopsis "The Coq Proof Assistant --- GTK3 IDE")
  (description "Coq is a formal proof management system. It provides