a821 [1] filed a deletion request for proxmark3 [2]: Name conflicts with community/proxmark3, out of date for 4 years, and also this a VCS package.
This actually uses the official upstream repo while the official arch package uses a fork, so this package might be allowed in the AUR, but it should be resubmitted with a different name (but not as a VCS package). [1] https://aur.archlinux.org/account/a821/ [2] https://aur.archlinux.org/pkgbase/proxmark3/
