MarsSeed [1] filed a deletion request for infer-bin [2]: Unneeded foreign build from 2021, broken packing: missing dependencies.
AUR has a native-build 'infer' package which is in better shape. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/infer-bin/
