[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/

[PRQ#65635] Deletion Request for kani-verifier

[notify]

orhun [1] filed a deletion request for kani-verifier [2]:

This is now in official repositories.

[1] https://aur.archlinux.org/account/orhun/
[2] https://aur.archlinux.org/pkgbase/kani-verifier/