dviktor [1] filed a deletion request for openmpi-gcc7 [2]: is not actual anymore (because gcc 8-10 are currently supported now) [1] https://aur.archlinux.org/account/dviktor/ [2] https://aur.archlinux.org/pkgbase/openmpi-gcc7/