coqide: rename to coq-platform, update
#158977
Annotations
3 errors and 1 warning
|
Run brew audit --cask coq-platform
1 problem in 1 cask detected.
|
|
Run brew audit --cask coq-platform:
Casks/c/coq-platform.rb#L13
Signature verification failed:
/private/tmp/cask-audit20241114-9316-uvf4p3/Coq-Platform~8.18~2023.11.app: rejected
macOS on ARM requires software to be signed.
Please contact the upstream developer to let them know they should sign and notarize their software.
|
|
Run brew audit --cask coq-platform
Process completed with exit code 1.
|
|
Run brew install --cask coq-platform
macOS's Gatekeeper has been disabled for this Cask
|
Loading