Homebrew script fails "Download failed"

[SichangHe]

I am trying to install hop using Homebrew on a Mac to experiment on compiling katex.
But, the Homebrew script seems broken and tries to download an inexistent tar ball.

$ brew install homebrew/hop/bigloo-latest

==> Fetching dependencies for homebrew/hop/bigloo-latest: gmp, pcre, libunistring, libogg, flac and mpg123
==> Fetching gmp
==> Downloading https://ghcr.io/v2/homebrew/core/gmp/manifests/6.2.1_1
Already downloaded: /Users/username/Library/Caches/Homebrew/downloads/a1986a80dafb4e42b8372268a00d8d14aa8294154c876ba82e7ce48db06885cb--gmp-6.2.1_1.bottle_manifest.json
==> Downloading https://ghcr.io/v2/homebrew/core/gmp/blobs/sha256:a43a2ae4c44d90626b835a968a32327c8b8bbf754ec1d2590f8ac656c71dace9
Already downloaded: /Users/username/Library/Caches/Homebrew/downloads/89dcfca0a00ce7614bc9ff60dad07fbdd32422b83ae22c1bdb4d4746c6343e84--gmp--6.2.1_1.arm64_monterey.bottle.tar.gz
==> Fetching pcre
==> Downloading https://ghcr.io/v2/homebrew/core/pcre/manifests/8.45
Already downloaded: /Users/username/Library/Caches/Homebrew/downloads/4a3bba0e8d1899c13ac3442d2c49df6c1999948bdc0943f2f179693257d82545--pcre-8.45.bottle_manifest.json
==> Downloading https://ghcr.io/v2/homebrew/core/pcre/blobs/sha256:11193fd0a113c0bb330b1c2c21ab6f40d225c1893a451bba85e8a1562b914a1c
Already downloaded: /Users/username/Library/Caches/Homebrew/downloads/170438f14a8f71c2014f4153809a324710497480dd8d02225a6f11ffca881530--pcre--8.45.arm64_monterey.bottle.tar.gz
==> Fetching libunistring
==> Downloading https://ghcr.io/v2/homebrew/core/libunistring/manifests/1.0
Already downloaded: /Users/username/Library/Caches/Homebrew/downloads/6ba84482db5918de653041563c28b9904b0a0119961f2f23edbaf0812bb7cb14--libunistring-1.0.bottle_manifest.json
==> Downloading https://ghcr.io/v2/homebrew/core/libunistring/blobs/sha256:b8b2f6fe30eefd002bf0dbb5fc0e5c6dc0d5f9b9219f4d6fcddc48e3bc229b23
Already downloaded: /Users/username/Library/Caches/Homebrew/downloads/c26de2d9458192688d5e94e202f13d3f5dbddc12d8891e51c60905cb99bae224--libunistring--1.0.arm64_monterey.bottle.tar.gz
==> Fetching libogg
==> Downloading https://ghcr.io/v2/homebrew/core/libogg/manifests/1.3.5
Already downloaded: /Users/username/Library/Caches/Homebrew/downloads/452cefb8f5bb45e1091a5f9f0f2dc564a63d803d2bb347596d8092954adecd69--libogg-1.3.5.bottle_manifest.json
==> Downloading https://ghcr.io/v2/homebrew/core/libogg/blobs/sha256:119687ca3010a96ff903a55160690c62fa3864e8c23b89854b6decf4416f9762
Already downloaded: /Users/username/Library/Caches/Homebrew/downloads/ca707a1941e237ded8b8b7983d5f360a953cfb57d5a32623ea9987d4fa17f78f--libogg--1.3.5.arm64_monterey.bottle.tar.gz
==> Fetching flac
==> Downloading https://ghcr.io/v2/homebrew/core/flac/manifests/1.4.2
Already downloaded: /Users/username/Library/Caches/Homebrew/downloads/0724c8fbc1cee994f30f420ef192e7041aeba6c485841d8a7c8982ef582dfd57--flac-1.4.2.bottle_manifest.json
==> Downloading https://ghcr.io/v2/homebrew/core/flac/blobs/sha256:fafbe1951be9eebdbd9daa08f3cec73fef2e12e2aa4603dbb45b95c36d47622f
Already downloaded: /Users/username/Library/Caches/Homebrew/downloads/9c081f7b8ff34e2ae1a7d40c3b5883cffb51f4e11e2d91e4959260fa5ff2f8bf--flac--1.4.2.arm64_monterey.bottle.tar.gz
==> Fetching mpg123
==> Downloading https://ghcr.io/v2/homebrew/core/mpg123/manifests/1.31.1
Already downloaded: /Users/username/Library/Caches/Homebrew/downloads/2e607156f5936c3ac89733877610be02ae44392a5ff91199280a43cf93b4f003--mpg123-1.31.1.bottle_manifest.json
==> Downloading https://ghcr.io/v2/homebrew/core/mpg123/blobs/sha256:1cd03ee5a750fe9a6b600c5c3c5f4869ceccbb6fe69043f36c335b7378668775
Already downloaded: /Users/username/Library/Caches/Homebrew/downloads/97a60ecde70ffba36894b7e40868f70e5105ec4de71bedd09bbfdc625f4fe8e5--mpg123--1.31.1.arm64_monterey.bottle.tar.gz
==> Fetching homebrew/hop/bigloo-latest
==> Downloading ftp://ftp-sop.inria.fr/indes/fp/Bigloo/bigloo-4.5a.tar.gz
curl: (78) Given file does not exist

Error: bigloo-latest: Failed to download resource "bigloo-latest"
Download failed: ftp://ftp-sop.inria.fr/indes/fp/Bigloo/bigloo-4.5a.tar.gz