dev-java/jsr173: Rename the distfile
authorMichał Górny <mgorny@gentoo.org>
Sat, 24 Aug 2019 05:53:38 +0000 (07:53 +0200)
committerMichał Górny <mgorny@gentoo.org>
Sat, 24 Aug 2019 10:00:01 +0000 (12:00 +0200)
commit31ca661b17a58d913beef2f4afdca5da996130a0
treea9571a6de848a122a4786feaf0068e4fef6f6eb5
parent3ee93107c811b3cd8d4467d759e645058f5bcf22
dev-java/jsr173: Rename the distfile

Signed-off-by: Michał Górny <mgorny@gentoo.org>
dev-java/jsr173/Manifest
dev-java/jsr173/jsr173-1.0-r4.ebuild