From ddf2f9e83941ba445bbdfa91392332fb62700bac Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 22 May 2023 08:33:53 +0200
Subject: [PATCH] [opam] no more direct use of ocamlfind
---
opam | 1 -
1 file changed, 1 deletion(-)
diff --git a/opam b/opam
index 765ae370970..4543d82ace8 100644
--- a/opam
+++ b/opam
@@ -120,7 +120,6 @@ depends: [
"conf-time" { with-test }
"menhir" { >= "20181006" & build }
"ocaml" { >= "4.11.1" }
- "ocamlfind" # needed beyond build stage, used by -load-module
"ocamlgraph" { >= "1.8.8" }
"why3" { >= "1.6.0" }
"yaml" { >= "3.0.0" }
--
GitLab