[PRQ#80223] Deletion Request for eigen3 Accepted

[notify]

Request #80223 has been Accepted by Integral [1]:

[Autogenerated] Accepted deletion for eigen3.

[1] https://aur.archlinux.org/account/Integral/