diff options
Diffstat (limited to 'dev-ml/ounit2/files/ounit2-2.2.7-dune.patch')
| -rw-r--r-- | dev-ml/ounit2/files/ounit2-2.2.7-dune.patch | 19 |
1 files changed, 19 insertions, 0 deletions
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)) |