MarsSeed [1] filed a deletion request for erg-bin [2]: Broken, abandoned foreign binary build from 2022. Source array points to a suspicious third-party server that does not seem related to the project. [a] Also, opening that URL leads to '500: internal server error'.
It seems better to keep only AUR/erg, which is newer and is in a much better shape. [a]: https://yuioto- onedrive.vercel.app/api/raw/?path=/tmp/erg/bin/erg-v0.5.9-x86_64 [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/erg-bin/
