[aur-requests] [PRQ#8323] Deletion Request for infer

[notify]

drecol [1] filed a deletion request for infer [2]:

out of date too long

[1] https://aur.archlinux.org/account/drecol/
[2] https://aur.archlinux.org/pkgbase/infer/