[PRQ#47950] Deletion Request for setools3-libs

MarsSeed [1] filed a deletion request for setools3-libs [2]: Unneeded legacy package from 2018. Deprecated since 2016, superseded by SETools v4. Repo archived since 2018. [a] [a]: https://github.com/TresysTechnology/setools3/wiki [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/setools3-libs/