[aur-requests] [PRQ#11564] Orphan Request for proverif

crave [1] filed a orphan request for proverif [2]: Tried to contact owner, no response within 5 days. [1] https://aur.archlinux.org/account/crave/ [2] https://aur.archlinux.org/pkgbase/proverif/