[PRQ#65634] Deletion Request for kani-verifier
12 Nov
2024
12 Nov
'24
1:47 p.m.
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/
12 Nov
12 Nov
1:48 p.m.
New subject: [PRQ#65634] Deletion Request for kani-verifier Accepted
Request #65634 has been Accepted by orhun [1]: [Autogenerated] Accepted deletion for kani-verifier. [1] https://aur.archlinux.org/account/orhun/
59
Age (days ago)
59
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org