dev-java/icedtea: bump to 3.16.0
[gentoo.git] / dev-java / jgoodies-animation / jgoodies-animation-1.2.0-r2.ebuild
2019-10-05 Michał Górny*/*: Remove mirror://gentoo rename hack
2019-04-01 Patrice Clementdev-java/jgoodies-animation: EAPI 6 bump.