[aur-requests] [PRQ#1482] Deletion Request for ghdl-bin-deb

marzoul [1] filed a deletion request for ghdl-bin-deb [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 really is dirty (uses pre-compiled Debian packages). - It is now completely obsolete. - Nobody voted for it. Thanks [1] https://aur.archlinux.org/account/marzoul/ [2] https://aur.archlinux.org/pkgbase/ghdl-bin-deb/