GDsouza [1] filed a deletion request for pragmata-pro [2]: Upstream is a (now unavailable) repository that hosts the font files illegally. [1] https://aur.archlinux.org/account/GDsouza/ [2] https://aur.archlinux.org/pkgbase/pragmata-pro/