a.kudelin [1] filed a deletion request for magma-atlas [2]: The package has no functionality beyond community/magma and can be safely removed. [1] https://aur.archlinux.org/account/a.kudelin/ [2] https://aur.archlinux.org/pkgbase/magma-atlas/