[aur-requests] [PRQ#1483] Deletion Request for bin32-ghdl-bin

[notify at aur.archlinux.org]

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/