From 294a46df866347c2bc3c7f834f6de61182d61554 Mon Sep 17 00:00:00 2001
From: Robur <team@robur.coop>
Date: Fri, 12 Nov 2021 14:31:42 +0000
Subject: [PATCH] opam: require metrics 0.3.0 and above

---
 builder-web.opam | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/builder-web.opam b/builder-web.opam
index ec2d082..e205641 100644
--- a/builder-web.opam
+++ b/builder-web.opam
@@ -32,10 +32,10 @@ depends: [
   "alcotest" {with-test}
   "opam-core"
   "opam-format" {>= "2.1.0"}
-  "metrics"
-  "metrics-lwt"
-  "metrics-influx"
-  "metrics-rusage"
+  "metrics" {>= "0.3.0"}
+  "metrics-lwt" {>= "0.3.0"}
+  "metrics-influx" {>= "0.3.0"}
+  "metrics-rusage" {>= "0.3.0"}
   "ipaddr"
   "tyxml" {>= "4.3.0"}
   "ptime"