[PRQ#65857] Deletion Request for coral

[notify]

MarsSeed [1] filed a deletion request for coral [2]:

EOL since 2019. Current source file is unavailable (URL redirects to a
html page).

[1] https://aur.archlinux.org/account/MarsSeed/
[2] https://aur.archlinux.org/pkgbase/coral/