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

[notify--- via aur-requests]

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/