[PRQ#45854] Deletion Request for aarch64-linux-api-headers
5 Aug
2023
5 Aug
'23
4:41 a.m.
wgottwalt [1] filed a deletion request for aarch64-linux-api-headers [2]: This package is "useless", because Archs extra repo already has aarch64-linux-gnu-linux-api-headers [1] https://aur.archlinux.org/account/wgottwalt/ [2] https://aur.archlinux.org/pkgbase/aarch64-linux-api-headers/
5 Aug
5 Aug
11:25 a.m.
New subject: [PRQ#45854] Deletion Request for aarch64-linux-api-headers Accepted
Request #45854 has been Accepted by Antiz [1]: https://archlinux.org/packages/extra/any/aarch64-linux-gnu-linux-api- headers/ [1] https://aur.archlinux.org/account/Antiz/
524
Age (days ago)
524
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org