diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-12-09 03:17:10 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-12-09 03:17:10 +0000 |
commit | 8b5d973bd4c43f578cef7a46652599e470f1d9fc (patch) | |
tree | cc4312079c10bc8c7f3c48d4c9dbb9d14f7c2f00 /dev-ml/ocaml-fileutils/files | |
parent | 750f865355947c40a4b93cd7a5db23eebc4e5080 (diff) |
gentoo auto-resync : 09:12:2022 - 03:17:09
Diffstat (limited to 'dev-ml/ocaml-fileutils/files')
-rw-r--r-- | dev-ml/ocaml-fileutils/files/ocaml-fileutils-0.6.4-dune.patch | 8 |
1 files changed, 8 insertions, 0 deletions
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)) |