Skip to content

Commit

Permalink
Revert "fix: rm ocurl dependency (unused atm)"
Browse files Browse the repository at this point in the history
This reverts commit 11970e8.
  • Loading branch information
chaudhuri committed Oct 14, 2024
1 parent 11970e8 commit f066b6c
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions abella.opam
Original file line number Diff line number Diff line change
Expand Up @@ -21,6 +21,7 @@ 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" }
Expand Down

0 comments on commit f066b6c

Please sign in to comment.