From ab76e1ef896d7d04b3f04298ed4257ecfdf073df Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Sat, 9 May 2020 22:47:54 +0200
Subject: [PATCH] metrics got released, no longer pin-depend

---
 albatross.opam | 11 +++--------
 1 file changed, 3 insertions(+), 8 deletions(-)

diff --git a/albatross.opam b/albatross.opam
index 20b4510..8cd9ab1 100644
--- a/albatross.opam
+++ b/albatross.opam
@@ -29,14 +29,9 @@ depends: [
   "duration"
   "decompress" {>= "0.9.0" & < "1.0.0"}
   "checkseum"
-  "metrics"
-  "metrics-lwt"
-  "metrics-influx"
-]
-pin-depends: [
-  ["metrics.dev" "git+https://github.com/hannesm/metrics.git#future"]
-  ["metrics-lwt.dev" "git+https://github.com/hannesm/metrics.git#future"]
-  ["metrics-influx.dev" "git+https://github.com/hannesm/metrics.git#future"]
+  "metrics" {>= "0.2.0"}
+  "metrics-lwt" {>= "0.2.0"}
+  "metrics-influx" {>= "0.2.0"}
 ]
 build: [
   ["dune" "subst"] {pinned}