[PRQ#59851] Orphan Request for proverif Accepted

[notify]

Request #59851 has been Accepted by Muflone [1]:

[Autogenerated] Accepted orphan for proverif.

[1] https://aur.archlinux.org/account/Muflone/