Failed to download resource "agda" Download failed: https://github.com/agda/agda/archive/refs/tags/v2.7.0.1-r1.tar.gz

Failed to download resource "highlight" Download failed: http://andre-simon.de/zip/highlight-4.14.tar.bz2

Failed to download resource "jbang" Download failed: https://github.com/jbangdev/jbang/releases/download/v0.119.0/jbang-0.119.0.zip

1 problem in 1 formula detected.

`brew audit` failed!

Failed to download resource "prestodb" Download failed: https://search.maven.org/remotecontent?filepath=com/facebook/presto/presto-server/0.289/presto-server-0.289.tar.gz

This formula has resources that may need to be updated.

Cannot verify integrity of '3d24a53a55ee50ee05886b4864cb1807e930f502e3a2d7e497eb304e1c467121--librsvg-2.59.0.tar.xz'. No checksum was provided. For your reference, the checksum is: sha256 "370d6ada5cf0de91ceb70d849ed069523ce5de2b33b4c7e86bc640673ad65483"

Cannot verify integrity of 'd255cb674a64c5d91bb4abc81a8501f4a32a53b1dafe1451800b33a9f8aca497--livekit-cli-2.1.1.tar.gz'. No checksum was provided. For your reference, the checksum is: sha256 "9dc68ebe2b7c3a63da59d30aa59abf4ddab8099e4b4c9079f9bba3386ffbd8bc"