jiri.pospisil [1] filed a deletion request for bpftool-bin [2]: Already provided as extra/bpf. I must have overlooked the package because of the different name.
[1] https://aur.archlinux.org/account/jiri.pospisil/ [2] https://aur.archlinux.org/pkgbase/bpftool-bin/
