12 Nov
2024
12 Nov
'24
1:48 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/