Michael Mair-Keimberger (asterix) 4a25398a4b dev-lang/polyml: remove unused patch. ...

Closes: https://github.com/gentoo/gentoo/pull/2164

Acked-By: Alexis Baller <aballier@gentoo.org>
Signed-off-by: Patrice Clement <monsieurp@gentoo.org>

2016-10-10 14:07:42 +02:00

..

files

dev-lang/polyml: remove unused patch.

2016-10-10 14:07:42 +02:00

Manifest

…

metadata.xml

…

polyml-5.4.1.ebuild

…

polyml-5.5.0.ebuild

…

polyml-5.5.1.ebuild

…

polyml-5.5.2.ebuild

…