diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2024-10-20 19:48:14 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2024-10-20 19:48:42 +0200 |
| commit | ec21a0a06c7db3e2d2197e1099d24a0cc420458f (patch) | |
| tree | d91d8cf76a5e633557cceea80b9d6f7d0e5b5dd0 /dev-ml/tiny_httpd/files | |
| parent | dev-ml/iostream: new package, add 0.3 (diff) | |
| download | gentoo-ec21a0a06c7db3e2d2197e1099d24a0cc420458f.tar.gz gentoo-ec21a0a06c7db3e2d2197e1099d24a0cc420458f.tar.bz2 gentoo-ec21a0a06c7db3e2d2197e1099d24a0cc420458f.zip | |
dev-ml/tiny_httpd: add 0.17.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/tiny_httpd/files')
| -rw-r--r-- | dev-ml/tiny_httpd/files/tiny_httpd-0.17.0-noseq.patch | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/dev-ml/tiny_httpd/files/tiny_httpd-0.17.0-noseq.patch b/dev-ml/tiny_httpd/files/tiny_httpd-0.17.0-noseq.patch new file mode 100644 index 000000000000..a5bb9531cfc8 --- /dev/null +++ b/dev-ml/tiny_httpd/files/tiny_httpd-0.17.0-noseq.patch @@ -0,0 +1,9 @@ +--- a/src/dune 2024-10-20 18:15:24.137632115 +0200 ++++ b/src/dune 2024-10-20 18:15:39.144450132 +0200 +@@ -2,5 +2,5 @@ + (name tiny_httpd) + (public_name tiny_httpd) + (flags :standard -open Tiny_httpd_core) +- (libraries threads seq unix hmap tiny_httpd.core tiny_httpd.html ++ (libraries threads unix hmap tiny_httpd.core tiny_httpd.html + tiny_httpd.unix)) |