[PRQ#59851] Orphan Request for proverif

[notify]

gilcu3 [1] filed an orphan request for proverif [2]:

I can take care of this package if the maintainer is really MIA

[1] https://aur.archlinux.org/account/gilcu3/
[2] https://aur.archlinux.org/pkgbase/proverif/