diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-11-03 03:56:37 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-11-03 03:56:37 +0000 |
commit | 54e9f9704b37e05c561eadb37d89d30ee7dda9ee (patch) | |
tree | bb03a8b10fc448608096c5e872d62b366fc2c93c /dev-ml/yojson/files | |
parent | 1615d14d4de4360b2241ce5cd8a84157cc86cde0 (diff) |
gentoo auto-resync : 03:11:2023 - 03:56:37
Diffstat (limited to 'dev-ml/yojson/files')
-rw-r--r-- | dev-ml/yojson/files/yojson-2.1.1-dune-seq.patch | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/dev-ml/yojson/files/yojson-2.1.1-dune-seq.patch b/dev-ml/yojson/files/yojson-2.1.1-dune-seq.patch new file mode 100644 index 000000000000..d2ad6e750eb1 --- /dev/null +++ b/dev-ml/yojson/files/yojson-2.1.1-dune-seq.patch @@ -0,0 +1,9 @@ +--- a/lib/dune ++++ b/lib/dune +@@ -113,6 +113,5 @@ + (public_name yojson) + (modules yojson t basic safe raw common codec lexer_utils) + (synopsis "JSON parsing and printing") +- (libraries seq) + (flags + (:standard -w -27-32))) |