[aur-requests] [PRQ#33435] Deletion Request for proxmark3

[notify at aur.archlinux.org]

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/