vicp74 [1] filed a request to merge mathics-pygments [2] into mathics3-pygments [3]:
Upstream renamed mathics to mathics3: https://github.com/Mathics3/Mathics3-pygments/releases/tag/10.0.0 [1] https://aur.archlinux.org/account/vicp74/ [2] https://aur.archlinux.org/pkgbase/mathics-pygments/ [3] https://aur.archlinux.org/pkgbase/mathics3-pygments/
