diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-07-02 08:01:06 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-07-02 08:01:06 +0100 |
| commit | 5c5e9714c851027611cb726a76ebb8be6d48cbdc (patch) | |
| tree | 3128d1c5b5258c431e64b60e62ba67f9c701c89d /dev-ml/tiny_httpd/files/tiny_httpd-0.16-noseq.patch | |
| parent | d1c14e94a73fba924761cdad7298f3e48c6bc160 (diff) | |
gentoo auto-resync : 02:07:2024 - 08:01:06
Diffstat (limited to 'dev-ml/tiny_httpd/files/tiny_httpd-0.16-noseq.patch')
| -rw-r--r-- | dev-ml/tiny_httpd/files/tiny_httpd-0.16-noseq.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/dev-ml/tiny_httpd/files/tiny_httpd-0.16-noseq.patch b/dev-ml/tiny_httpd/files/tiny_httpd-0.16-noseq.patch new file mode 100644 index 000000000000..8862a3361dc9 --- /dev/null +++ b/dev-ml/tiny_httpd/files/tiny_httpd-0.16-noseq.patch @@ -0,0 +1,11 @@ +--- a/src/dune 2024-07-01 18:38:15.116581859 +0200 ++++ b/src/dune 2024-07-01 18:38:21.807507542 +0200 +@@ -1,7 +1,7 @@ + (library + (name tiny_httpd) + (public_name tiny_httpd) +- (libraries threads seq unix ++ (libraries threads unix + (select Tiny_httpd_log.ml from + (logs -> Tiny_httpd_log.logs.ml) + (-> Tiny_httpd_log.default.ml))) |