From 2dcbc728dbf33939b0252c29ffaac9f0d983e03d Mon Sep 17 00:00:00 2001
From: Karl Palmskog <palmskog@gmail.com>
Date: Fri, 8 Dec 2023 23:03:17 +0100
Subject: [PATCH] refresh coqide.dev

---
 core-dev/packages/coqide/coqide.dev/opam | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/core-dev/packages/coqide/coqide.dev/opam b/core-dev/packages/coqide/coqide.dev/opam
index cbc8bb1959..adf0701081 100644
--- a/core-dev/packages/coqide/coqide.dev/opam
+++ b/core-dev/packages/coqide/coqide.dev/opam
@@ -20,11 +20,12 @@ depends: [
   "conf-findutils" {build}
   "conf-adwaita-icon-theme"
   "coqide-server" {= version}
+  "cairo2" {>= "0.6.4"}
   "lablgtk3-sourceview3" {>= "3.1.2"}
+  "odoc" {with-doc}
 ]
 build: [
-  # Requires dune 2.8 due to https://github.com/ocaml/dune/issues/3219
-  # ["dune" "subst"] {pinned}
+  ["dune" "subst"] {dev}
   [
     "dune"
     "build"
@@ -32,10 +33,12 @@ build: [
     name
     "-j"
     jobs
+    "--promote-install-files=false"
     "@install"
     "@runtest" {with-test}
     "@doc" {with-doc}
   ]
+  ["dune" "install" "-p" name "--create-install-files" name]
 ]
 dev-repo: "git+https://github.com/coq/coq.git"