From 84db128ead2e3b9b5ddf43beb86df2a3f7a0bc66 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Wed, 3 Nov 2021 09:12:29 +0100 Subject: [PATCH] update monitoring-experiments from upstream --- packages/monitoring-experiments.0.0.2/opam | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/packages/monitoring-experiments.0.0.2/opam b/packages/monitoring-experiments.0.0.2/opam index 79d9909..f864ad1 100644 --- a/packages/monitoring-experiments.0.0.2/opam +++ b/packages/monitoring-experiments.0.0.2/opam @@ -8,12 +8,11 @@ bug-reports: "https://github.com/mirage/monitoring-experiments/issues" license: "AGPL" depends: [ - "ocaml" {>= "4.07.1"} + "ocaml" {>= "4.08.0"} "logs" {>= "0.6.3"} "metrics" {>= "0.2.0"} "metrics-lwt" {>= "0.2.0"} "metrics-influx" {>= "0.2.0"} - "astring" {>= "0.8.3"} "mirage-clock" {>= "3.0.0"} "mirage-time" {>= "2.0.0"} "mirage-stack" {>= "2.2.0"} @@ -21,7 +20,6 @@ depends: [ "mirage-net-solo5" {>= "0.6.2"} "mirage-solo5" {>= "0.6.4"} "ocaml-freestanding" {>= "0.4.5"} - "bheap" ] build: [ ["dune" "subst"] {pinned}