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