12 Nov
2024
12 Nov
'24
1:48 p.m.
Request #65634 has been Accepted by orhun [1]: [Autogenerated] Accepted deletion for kani-verifier. [1] https://aur.archlinux.org/account/orhun/