dev-lang/polyml: Bump to 5.6
authorMark Wright <gienah@gentoo.org>
Wed, 28 Dec 2016 12:14:41 +0000 (23:14 +1100)
committerMark Wright <gienah@gentoo.org>
Wed, 28 Dec 2016 12:14:41 +0000 (23:14 +1100)
commitbe71b09b3a0fdfad6af225732d1ba02d66330f56
tree3653e3991547b7e449f959c0fbe260b47e1262b9
parent1e1fba5046c5bf4282debe9e1ddcd1bdce212625
dev-lang/polyml: Bump to 5.6

Gentoo-bug: 583586

Package-Manager: portage-2.3.3
dev-lang/polyml/Manifest
dev-lang/polyml/polyml-5.6.ebuild [new file with mode: 0644]