From 11970e81531ea8ec8c2e9fbf1ec4d8c4f9a1abdf Mon Sep 17 00:00:00 2001
From: Kaustuv Chaudhuri <kaustuv.chaudhuri@inria.fr>
Date: Mon, 14 Oct 2024 11:22:20 +0200
Subject: [PATCH] fix: rm ocurl dependency (unused atm)

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

diff --git a/abella.opam b/abella.opam
index 1c33ec39..e9ae039e 100644
--- a/abella.opam
+++ b/abella.opam
@@ -21,7 +21,6 @@ depends: [
   "base64"    { >= "3.5.1" }
   "cmdliner"  { >= "1.2.0" }
   "menhir"    { >= "20211012" }
-  "ocurl"     { >= "0.9.2" }
   "re"        { >= "1.11.0" }
   "yojson"    { >= "2.1.1" }
   "dune"      { >= "3.7" }