summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorMaciej Barć <xgqt@gentoo.org>2023-05-16 17:10:48 +0200
committerMaciej Barć <xgqt@gentoo.org>2023-05-16 17:44:23 +0200
commita786138ee2a5a4aef54f5b3b84347ce2e1603986 (patch)
tree8da49d8d3d35a52c9a9dd47216912407a4d5ef3a /dev-ml
parentdev-ml/yojson: bump to 2.1.0 (diff)
downloadgentoo-a786138ee2a5a4aef54f5b3b84347ce2e1603986.tar.gz
gentoo-a786138ee2a5a4aef54f5b3b84347ce2e1603986.tar.bz2
gentoo-a786138ee2a5a4aef54f5b3b84347ce2e1603986.zip
dev-ml/yojson: clean patch
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/yojson/files/yojson-2.0.2-dune-seq.patch2
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/yojson/files/yojson-2.0.2-dune-seq.patch b/dev-ml/yojson/files/yojson-2.0.2-dune-seq.patch
index e4783220b822..c94933291f30 100644
--- a/dev-ml/yojson/files/yojson-2.0.2-dune-seq.patch
+++ b/dev-ml/yojson/files/yojson-2.0.2-dune-seq.patch
@@ -1,5 +1,5 @@
--- a/lib/dune
-+++ b/lib/dune_
++++ b/lib/dune
@@ -34,5 +34,4 @@
(public_name yojson)
(modules yojson)