See if ocamlfind is the culprit ?

Author: ejgallego

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.6"
 # Since dune does support Coq, it is explicitly selected
 PACKAGES="${PACKAGES} dune.3.7.0"
 PACKAGES="${PACKAGES} dune-configurator.3.7.0"