grawlinson [1] filed a deletion request for symbiyosys-nightly [2]: dupe of https://aur.archlinux.org/packages/symbiyosys-git/ [1] https://aur.archlinux.org/account/grawlinson/ [2] https://aur.archlinux.org/pkgbase/symbiyosys-nightly/