diff --git a/dune-project b/dune-project index 39d4de0..6c17944 100644 --- a/dune-project +++ b/dune-project @@ -49,7 +49,7 @@ (depends (containers (and (>= 3.6) (< 4.0))) (trustee (= :version)) - (tiny_httpd (>= 0.12)) + (tiny_httpd (>= 0.16)) logs (odoc :with-doc))) diff --git a/trustee-opentheory.opam b/trustee-opentheory.opam index 102cc05..bd816d5 100644 --- a/trustee-opentheory.opam +++ b/trustee-opentheory.opam @@ -11,7 +11,7 @@ depends: [ "dune" {>= "2.0"} "containers" {>= "3.6" & < "4.0"} "trustee" {= version} - "tiny_httpd" {>= "0.12"} + "tiny_httpd" {>= "0.16"} "logs" "odoc" {with-doc} ]