media-fonts/pigiarniq: Mirror and rename the distfile
authorMichał Górny <mgorny@gentoo.org>
Fri, 23 Aug 2019 19:54:58 +0000 (21:54 +0200)
committerMichał Górny <mgorny@gentoo.org>
Fri, 23 Aug 2019 19:57:47 +0000 (21:57 +0200)
commitd22b8b3a33bce0df9f564eed3abbbd8b5461af28
tree191131dd9a1708ebeb205abd721d80250ff73ba4
parentc5be99130ae6b803fee2be6fbd8f54421fb05aa5
media-fonts/pigiarniq: Mirror and rename the distfile

Signed-off-by: Michał Górny <mgorny@gentoo.org>
media-fonts/pigiarniq/Manifest
media-fonts/pigiarniq/pigiarniq-1.ebuild