From 5b20d7d043fc25a90b241d94e3b06d573a2bd534 Mon Sep 17 00:00:00 2001
From: hamid <hamid.kolli@functori.com>
Date: Wed, 9 Jul 2025 14:55:36 +0200
Subject: [PATCH] remove unused dep

---
 argos.opam | 1 -
 1 file changed, 1 deletion(-)

diff --git a/argos.opam b/argos.opam
index c97b7fe4..9dd3a692 100644
--- a/argos.opam
+++ b/argos.opam
@@ -25,7 +25,6 @@ depends: [
   "prometheus"
   "prometheus-app"
   "bfunc"
-  "hacl_func"
   "cryptokit"
   "rope"
   "tzfunc"
-- 
GitLab