summaryrefslogtreecommitdiff
path: root/dev-ml/ounit2/files
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2022-11-21 19:04:59 +0000
committerV3n3RiX <venerix@koprulu.sector>2022-11-21 19:04:59 +0000
commit77b9f0d5906f0bd9ddf010abe155218c6629738a (patch)
tree8cea5001e36d78aea62dd100ba74ee77906b69e6 /dev-ml/ounit2/files
parentf5a622ba784bb66ee85eb669a821801c5e135ed8 (diff)
gentoo auto-resync : 21:11:2022 - 19:04:59
Diffstat (limited to 'dev-ml/ounit2/files')
-rw-r--r--dev-ml/ounit2/files/ounit2-2.2.6-dune.patch19
1 files changed, 19 insertions, 0 deletions
diff --git a/dev-ml/ounit2/files/ounit2-2.2.6-dune.patch b/dev-ml/ounit2/files/ounit2-2.2.6-dune.patch
new file mode 100644
index 000000000000..9ef29326f6d0
--- /dev/null
+++ b/dev-ml/ounit2/files/ounit2-2.2.6-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
+@@ -7,4 +7,4 @@
+ (name oUnitAdvanced)
+ (public_name ounit2.advanced)
+ (wrapped false)
+- (libraries unix bytes seq stdlib-shims))
++ (libraries unix bytes stdlib-shims))