media-fonts/texcm-ttf: Mirror and rename the distfile
authorMichał Górny <mgorny@gentoo.org>
Fri, 23 Aug 2019 19:56:08 +0000 (21:56 +0200)
committerMichał Górny <mgorny@gentoo.org>
Fri, 23 Aug 2019 19:57:48 +0000 (21:57 +0200)
commit51185f0e7bb8592ac9079a459003c781aa32c617
treedfd9d1d9543885fddb730d8711d583443f29dfcb
parentd22b8b3a33bce0df9f564eed3abbbd8b5461af28
media-fonts/texcm-ttf: Mirror and rename the distfile

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