[PRQ#58108] Deletion Request for fricas

[notify]

xiota [1] filed a deletion request for fricas [2]:

Moved to extra repo.

[1] https://aur.archlinux.org/account/xiota/
[2] https://aur.archlinux.org/pkgbase/fricas/