diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-10-27 03:56:50 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-10-27 03:56:50 +0100 |
commit | 6e8f2ebdce568f2c6c7870edbb9db5324a0e300f (patch) | |
tree | 92c92750f9317885d396064e90145eb463b3b8eb /dev-ml/yojson/files | |
parent | 97e5ac8a082d0d11fc18e8b8994a78e8d155899e (diff) |
gentoo auto-resync : 27:10:2022 - 03:56:50
Diffstat (limited to 'dev-ml/yojson/files')
-rw-r--r-- | dev-ml/yojson/files/yojson-2.0.2-dune-seq.patch | 8 |
1 files changed, 8 insertions, 0 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 new file mode 100644 index 000000000000..e4783220b822 --- /dev/null +++ b/dev-ml/yojson/files/yojson-2.0.2-dune-seq.patch @@ -0,0 +1,8 @@ +--- a/lib/dune ++++ b/lib/dune_ +@@ -34,5 +34,4 @@ + (public_name yojson) + (modules yojson) + (synopsis "JSON parsing and printing") +- (libraries seq) + (flags (-safe-string))) |