From c8750be3250d79357925523491f4410f0e59825d Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Mon, 16 May 2022 12:24:11 +0200 Subject: [PATCH] albatross: update from upstream --- packages/albatross.1.4.3.1~dev/opam | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/packages/albatross.1.4.3.1~dev/opam b/packages/albatross.1.4.3.1~dev/opam index 66ac411..f2ee655 100644 --- a/packages/albatross.1.4.3.1~dev/opam +++ b/packages/albatross.1.4.3.1~dev/opam @@ -7,8 +7,8 @@ bug-reports: "https://github.com/roburio/albatross/issues" license: "ISC" depends: [ - "ocaml" {>= "4.10.0"} - "dune" + "ocaml" {>= "4.12.0"} + "dune" {>= "2.7.0" "dune-configurator" "conf-pkg-config" {build} "conf-libnl3" {os = "linux"} @@ -38,6 +38,7 @@ depends: [ "happy-eyeballs-lwt" "solo5-elftool" {>= "0.3"} "owee" {>= "0.4"} + "alcotest" {with-test} ] build: [ ["dune" "subst"] {dev}