From f33bb55eb744d9c074fa6a89a445b1883bc74cb9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= Date: Wed, 5 Feb 2025 15:59:40 +0100 Subject: [PATCH] Update owee->cachet change in solo5-elftool --- builder-web.opam | 2 +- lib/dune | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/builder-web.opam b/builder-web.opam index 4341386..92113fe 100644 --- a/builder-web.opam +++ b/builder-web.opam @@ -46,7 +46,7 @@ depends: [ "cmarkit" {>= "0.3.0"} "tar" {>= "3.0.0"} "tar-unix" {>= "3.0.0"} - "cachet" + "cachet" {>= "0.2.0"} "solo5-elftool" {>= "0.4.0"} "decompress" {>= "1.5.0"} "digestif" {>= "1.2.0"} diff --git a/lib/dune b/lib/dune index ff25562..6e1db82 100644 --- a/lib/dune +++ b/lib/dune @@ -1,5 +1,5 @@ (library (name builder_web) (libraries builder builder_db dream tyxml bos duration ohex caqti-lwt - opamdiff ptime.clock.os cmarkit tar tar.gz tar-unix owee solo5-elftool decompress.de + opamdiff ptime.clock.os cmarkit tar tar.gz tar-unix cachet solo5-elftool decompress.de decompress.gz uri digestif dream-encoding))