fiatjaf [1] filed a deletion request for hal-bin [2]: It is broken and won't build correctly. I don't think it makes sense to fix it since installing from cargo directly is better and there is no binary to download anywhere to turn into a binary package.
[1] https://aur.archlinux.org/account/fiatjaf/ [2] https://aur.archlinux.org/pkgbase/hal-bin/
