From 5d0c0ffd63620a4db788484bd36ab92b76e7891b Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@koprulu.sector>
Date: Sun, 20 Nov 2022 01:01:31 +0000
Subject: gentoo auto-resync : 20:11:2022 - 01:01:31

---
 dev-ml/ptmap/files/ptmap-2.0.5-dune.patch | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 dev-ml/ptmap/files/ptmap-2.0.5-dune.patch

(limited to 'dev-ml/ptmap/files')

diff --git a/dev-ml/ptmap/files/ptmap-2.0.5-dune.patch b/dev-ml/ptmap/files/ptmap-2.0.5-dune.patch
new file mode 100644
index 000000000000..b13122884adb
--- /dev/null
+++ b/dev-ml/ptmap/files/ptmap-2.0.5-dune.patch
@@ -0,0 +1,11 @@
+--- a/dune
++++ b/dune
+@@ -1,7 +1,6 @@
+ (library
+  (public_name ptmap)
+- (modules ptmap)
+- (libraries seq))
++ (modules ptmap))
+ 
+ (test
+  (name test)
-- 
cgit v1.2.3