[PRQ#76574] Deletion Request for havege-dkms

micwoj92 [1] filed a deletion request for havege-dkms [2]: Reported in comments that it fails to build since 2021. [1] https://aur.archlinux.org/account/micwoj92/ [2] https://aur.archlinux.org/pkgbase/havege-dkms/