fix dependency on tiny_httpd 0.16

c-cube · Jan 25, 2024 · 951549c · 951549c
1 parent 4b7a3c4
commit 951549c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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}
 ]