[PRQ#65635] Deletion Request for kani-verifier Accepted

[notify]

Request #65635 has been Accepted by orhun [1]:

[Autogenerated] Accepted deletion for kani-verifier.

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