From 4f2d7949f03e1c198bc888f2d05f421d35c57e21 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Mon, 9 Oct 2017 18:53:29 +0100 Subject: reinit the tree, so we can have metadata --- dev-lang/polyml/metadata.xml | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 dev-lang/polyml/metadata.xml (limited to 'dev-lang/polyml/metadata.xml') diff --git a/dev-lang/polyml/metadata.xml b/dev-lang/polyml/metadata.xml new file mode 100644 index 000000000000..e5460b6ae6dc --- /dev/null +++ b/dev-lang/polyml/metadata.xml @@ -0,0 +1,18 @@ + + + + + ml@gentoo.org + Gentoo ML Project + + +Poly/ML is a full implementation of Standard ML available as open-source. + + + Build the portable interpreter version of Poly/ML + instead of native. + + + polyml + + -- cgit v1.2.3