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

1 problem in 1 formula detected.

`brew audit` failed!

This formula has resources that may need to be updated.

Cannot verify integrity of '83f08059dcca3fadc685cea1d8ae03b5e33c9515400f93f0e863b43e23af75e3--algol68g-3.5.2.tar.gz'. No checksum was provided. For your reference, the checksum is: sha256 "804b020e173c72a0a0121e53c3b56efbab08a32704a6d800ecc7b6ee8bc2aa33"

Cannot verify integrity of '25bcea0e795ad48856f00644e2a6136b41ec342fefcace55457bc6221e66790a--cli-1.15.1.tgz'. No checksum was provided. For your reference, the checksum is: sha256 "0dfbd2ce53907d9c91cf5e9125d8f044b37657427cd30ba7b2df5e920e5e7078"

This formula has resources that may need to be updated.

Cannot verify integrity of 'cc5f6efa218250fccc7a8d02e89ea20f18cb87d352d1349ac1d507a47a4f761f--aws-cli-2.15.54.tar.gz'. No checksum was provided. For your reference, the checksum is: sha256 "26b53e8ed0abc643e28f07a6ae3bc0792d6e13764367808f2e939b17b5d601ec"

This formula has resources that may need to be updated.

Cannot verify integrity of '77335e082e925712b5863afe395aec51d64bd7467b16888e365a763d6f29ffcf--check_jsonschema-0.28.4.tar.gz'. No checksum was provided. For your reference, the checksum is: sha256 "e6acd2e89a7cbc41d2813a5b00fb5dfb7a14a5e72f4898a62bc761cf0899ad97"

"/home/linuxbrew/.linuxbrew/bin" is not in your PATH. You can amend this by altering your ~/.profile file.

"/home/linuxbrew/.linuxbrew/bin" is not in your PATH. You can amend this by altering your ~/.profile file.