From f7c3a14b1e7273b332125f6e8edfb5aafb924a75 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 5 May 2025 10:10:29 -0400 Subject: [PATCH] require tiny_httpd 0.19 --- dune-project | 2 +- nanoev_tiny_httpd.opam | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/dune-project b/dune-project index b9b1aca..7dfd009 100644 --- a/dune-project +++ b/dune-project @@ -76,7 +76,7 @@ picos picos_std (tiny_httpd - (>= 0.17))) + (>= 0.19))) (tags (nanoev http))) diff --git a/nanoev_tiny_httpd.opam b/nanoev_tiny_httpd.opam index 08833e7..83e2b5a 100644 --- a/nanoev_tiny_httpd.opam +++ b/nanoev_tiny_httpd.opam @@ -14,7 +14,7 @@ depends: [ "nanoev-picos" {= version} "picos" "picos_std" - "tiny_httpd" {>= "0.17"} + "tiny_httpd" {>= "0.19"} "odoc" {with-doc} ] build: [