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

[notify at aur.archlinux.org]

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/