The binary file linked to by the source URL is again available. But it's still recommended to delete this abandoned package from 2019, as it seems no one is interested in maintaining or using it. AUR/bluespec-git provides the open-sourced newer version of the Bluespec Compiler, though the package name is not correct, it should have been bsc-git. On 4 August 2023 12:53:42 GMT+02:00, notify@aur.archlinux.org wrote:

MarsSeed [1] filed a deletion request for bluespec [2]:

Discontinued orphan closed-source beta package from 2019. Upstream URL: 523 unreachable origin.

There is a newer, official, open-sourced alternative: https://aur.archlinux.org/packages/bluespec-git

Safe to delete this defunct package.

[1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/bluespec/