From 54e9f9704b37e05c561eadb37d89d30ee7dda9ee Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Fri, 3 Nov 2023 03:56:37 +0000 Subject: gentoo auto-resync : 03:11:2023 - 03:56:37 --- dev-ml/ounit2/files/ounit2-2.2.7-dune.patch | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 dev-ml/ounit2/files/ounit2-2.2.7-dune.patch (limited to 'dev-ml/ounit2/files') diff --git a/dev-ml/ounit2/files/ounit2-2.2.7-dune.patch b/dev-ml/ounit2/files/ounit2-2.2.7-dune.patch new file mode 100644 index 000000000000..845d7e9e4574 --- /dev/null +++ b/dev-ml/ounit2/files/ounit2-2.2.7-dune.patch @@ -0,0 +1,19 @@ +--- a/src/lib/ounit2/dune ++++ b/src/lib/ounit2/dune +@@ -2,7 +2,7 @@ + (name oUnit) + (public_name ounit2) + (wrapped false) +- (libraries unix seq ounit2.advanced)) ++ (libraries unix ounit2.advanced)) + + (documentation + (package ounit2) +--- a/src/lib/ounit2/advanced/dune ++++ b/src/lib/ounit2/advanced/dune +@@ -11,4 +11,4 @@ + (name oUnitAdvanced) + (public_name ounit2.advanced) + (wrapped false) +- (libraries unix seq stdlib-shims)) ++ (libraries unix stdlib-shims)) -- cgit v1.2.3