[PRQ#54120] Deletion Request for fricas

[notify]

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

Migrated to [extra] repository:

https://archlinux.org/packages/?q=fricas

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