[PRQ#80223] Deletion Request for eigen3

[notify]

carlosal1015 [1] filed a deletion request for eigen3 [2]:

Duplicate from https://archlinux.org/packages/extra/any/eigen3/

[1] https://aur.archlinux.org/account/carlosal1015/
[2] https://aur.archlinux.org/pkgbase/eigen3/