diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-11-03 03:56:37 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-11-03 03:56:37 +0000 |
commit | 54e9f9704b37e05c561eadb37d89d30ee7dda9ee (patch) | |
tree | bb03a8b10fc448608096c5e872d62b366fc2c93c /dev-ml/ounit2/files | |
parent | 1615d14d4de4360b2241ce5cd8a84157cc86cde0 (diff) |
gentoo auto-resync : 03:11:2023 - 03:56:37
Diffstat (limited to 'dev-ml/ounit2/files')
-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)) |