See if ocamlfind is the culprit ?

coq · Sep 29, 2023 · 013cede · 013cede
1 parent 7e2cce9
commit 013cede
Showing 1 changed file with 1 addition and 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
@@ -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"