MarsSeed [1] filed a deletion request for linux-hammerhead-api-headers [2]: Accidentally closed deletion request PRQ#54254. Pellegrino Prevete's defiant resubmit, was already deleted in Feb 2024 (PRQ#53367) [a]. Dead on arrival, very old API headers, not compatible with current Arch Linux. [a]: https://lists.archlinux.org/hyperkitty/list/aur- requests@lists.archlinux.org/thread/NRAEMR3DQ3WHIY7VFOJBAXT5GONW7745 [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/linux-hammerhead-api-headers/