4 Aug
2023
4 Aug
'23
12:53 p.m.
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/