From 013cede31cdc7b3ef7780764ab4656c73ada5d53 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Thu, 28 Sep 2023 22:43:38 +0200
Subject: [PATCH] See if ocamlfind is the culprit ?

---
 package_picks/package-pick-8.17~2023.08-coq-lsp.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/package_picks/package-pick-8.17~2023.08-coq-lsp.sh b/package_picks/package-pick-8.17~2023.08-coq-lsp.sh
index 1412748dd9..fe9465ad71 100644
--- a/package_picks/package-pick-8.17~2023.08-coq-lsp.sh
+++ b/package_picks/package-pick-8.17~2023.08-coq-lsp.sh
@@ -48,7 +48,7 @@ PACKAGES=""
 ########## BASE PACKAGES ##########
 
 # Coq needs a patched ocamlfind to be relocatable by installers
-PACKAGES="${PACKAGES} PIN.ocamlfind.1.9.5~relocatable"
+PACKAGES="${PACKAGES} ocamlfind.1.9.5"
 # Since dune does support Coq, it is explicitly selected
 PACKAGES="${PACKAGES} dune.3.7.0"
 PACKAGES="${PACKAGES} dune-configurator.3.7.0"