18 Dec
2023
18 Dec
'23
9:02 p.m.
mhdi [1] filed a deletion request for texlive-fonts-plex [2]: texlive-fontsextra in [extra] provides texlive-fonts-plex (texlive- plex) [1] https://aur.archlinux.org/account/mhdi/ [2] https://aur.archlinux.org/pkgbase/texlive-fonts-plex/