From 8b5d973bd4c43f578cef7a46652599e470f1d9fc Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Fri, 9 Dec 2022 03:17:10 +0000 Subject: gentoo auto-resync : 09:12:2022 - 03:17:09 --- dev-ml/ocaml-fileutils/files/ocaml-fileutils-0.6.4-dune.patch | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 dev-ml/ocaml-fileutils/files/ocaml-fileutils-0.6.4-dune.patch (limited to 'dev-ml/ocaml-fileutils/files') diff --git a/dev-ml/ocaml-fileutils/files/ocaml-fileutils-0.6.4-dune.patch b/dev-ml/ocaml-fileutils/files/ocaml-fileutils-0.6.4-dune.patch new file mode 100644 index 000000000000..5a0eb479bdbc --- /dev/null +++ b/dev-ml/ocaml-fileutils/files/ocaml-fileutils-0.6.4-dune.patch @@ -0,0 +1,8 @@ +--- a/src/lib/fileutils/dune ++++ b/src/lib/fileutils/dune +@@ -30,4 +30,4 @@ + fileUtilWHICH + unixPath + win32Path) +- (libraries unix seq stdlib-shims)) ++ (libraries unix stdlib-shims)) -- cgit v1.2.3