[PRQ#42839] Deletion Request for antimony

MarsSeed [1] filed a deletion request for antimony [2]: Abandoned package from 2017. Last release was in 2016. [a] Flagged OOD since 2018, has been an orphan during the last 16 months. Seems not needed by anyone. [a]: https://github.com/mkeeter/antimony/tags [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/antimony/