fix: rm ocurl dependency (unused atm)

abella-prover · Oct 14, 2024 · 11970e8 · 11970e8
1 parent 03a9aca
commit 11970e8
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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" }