summaryrefslogtreecommitdiff
path: root/dev-ml/tiny_httpd/files/tiny_httpd-0.12-noseq.patch
blob: b35ba64f8d720f228618681424e6c68720a2179b (plain)
1
2
3
4
5
6
7
8
9
10
11
--- a/src/dune	2023-01-30 20:28:23.578884847 +0100
+++ b/src/dune	2023-01-30 20:28:33.523713488 +0100
@@ -2,7 +2,7 @@
 (library
   (name tiny_httpd)
   (public_name tiny_httpd)
-  (libraries threads seq)
+  (libraries threads)
   (flags :standard -safe-string -warn-error -a+8)
   (wrapped false))