[aur-requests] [PRQ#24483] Deletion Request for cudd

hey_lu [1] filed a deletion request for cudd [2]: This package has been added to the community repo since a while now, and can't be updated anymore because of that. So the AUR package is not necessary anymore, and there does not seem to be a proper upstream repository, so even a cudd-git package would make no sense. [1] https://aur.archlinux.org/account/hey_lu/ [2] https://aur.archlinux.org/pkgbase/cudd/