From 8a35177fcb7f24c8e01e2c59683c222ad87a2542 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Thu, 5 Oct 2023 17:30:06 +0100 Subject: [PATCH] Add not-ocamlfind --- Goalfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Goalfile b/Goalfile index d335d7c..bb8ec16 100644 --- a/Goalfile +++ b/Goalfile @@ -68,7 +68,7 @@ let packages = [ "ocaml-facile", "ocaml-fieldslib", "ocaml-fileutils", - "ocaml-findlib", + "ocaml-findlib", "not-ocamlfind", "ocaml-fmt", "ocaml-fpath", "ocaml-gen", -- 1.8.3.1