[aur-requests] [PRQ#36799] Deletion Request for op-tee-tools
MarsSeed [1] filed a deletion request for op-tee-tools [2]: I've noticed just now that this package last updated in 2017 is a dummy - it has no sources, even though op-tee-tools has sources and should be built from a Makefile. AUR owner doesn't respond - queried the status of this package in Feb 2022. I believe this package has no function and can be deleted. Nothing depends on it on AUR. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/op-tee-tools/
Request #36799 has been Rejected by MarsSeed [1]: Revoking this request. Please kindly disregard it. Package owner @zaidan has responded in detail. Thank you, @zaidan, for your thorough and informative reply, and for explaining the purpose of this package and giving pointers on how to check the current dependency requirements for OP-TEE developers. [1] https://aur.archlinux.org/account/MarsSeed/
participants (1)
-
notify@aur.archlinux.org