marzoul [1] filed a deletion request for bin32-ghdl-bin [2]: Hi , I'm the maintainer and I request deletion for the following reasons: - The application now builds well from source so this package is no longer useful. - It is provided by the other package "ghdl". - It is now completely obsolete. - Nobody voted for it. Thanks [1] https://aur.archlinux.org/account/marzoul/ [2] https://aur.archlinux.org/pkgbase/bin32-ghdl-bin/