7|000|2023-07-04|media-fonts/proggy-fonts|proggy-fonts-1.ebuild|https://proggyfonts.net/|fonts@gentoo.org