diff options
Diffstat (limited to 'dev-ml/yojson/files/yojson-2.1.1-dune-seq.patch')
| -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))) |