diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-05-16 17:10:48 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-05-16 17:44:23 +0200 |
| commit | a786138ee2a5a4aef54f5b3b84347ce2e1603986 (patch) | |
| tree | 8da49d8d3d35a52c9a9dd47216912407a4d5ef3a | |
| parent | dev-ml/yojson: bump to 2.1.0 (diff) | |
| download | gentoo-a786138ee2a5a4aef54f5b3b84347ce2e1603986.tar.gz gentoo-a786138ee2a5a4aef54f5b3b84347ce2e1603986.tar.bz2 gentoo-a786138ee2a5a4aef54f5b3b84347ce2e1603986.zip | |
dev-ml/yojson: clean patch
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
| -rw-r--r-- | dev-ml/yojson/files/yojson-2.0.2-dune-seq.patch | 2 |
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) |