brew install fails

[BrunoDutertre]

On my Mac, brew install tries to download a tar file that does not exist:

> brew install cbmc-viewer
==> Fetching aws/tap/cbmc-viewer
==> Downloading https://github.com/model-checking/cbmc-viewer/releases/download/viewer-3.10/cbmc-viewer-3.10.arm64_sonoma.bottle.tar.gz
curl: (56) The requested URL returned error: 404                                                                                                                                                                     

Error: cbmc-viewer: Failed to download resource "cbmc-viewer"

This seems to be a typo in the file name.