Gentoo Archives: gentoo-commits

From: "Maciej Barć" <xgqt@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-lang/polyml/
Date: Fri, 03 Dec 2021 12:55:57
Message-Id: 1638536151.a661efa576b31cc55f8284421d5fb376ac2243c0.xgqt@gentoo
1 commit: a661efa576b31cc55f8284421d5fb376ac2243c0
2 Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
3 AuthorDate: Fri Dec 3 12:21:46 2021 +0000
4 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
5 CommitDate: Fri Dec 3 12:55:51 2021 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a661efa5
7
8 dev-lang/polyml: add to the Gentoo ML Project
9
10 Package-Manager: Portage-3.0.28, Repoman-3.0.3
11 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
12
13 dev-lang/polyml/metadata.xml | 5 ++++-
14 1 file changed, 4 insertions(+), 1 deletion(-)
15
16 diff --git a/dev-lang/polyml/metadata.xml b/dev-lang/polyml/metadata.xml
17 index dcfdf4de127b..4c5a0d1df6a4 100644
18 --- a/dev-lang/polyml/metadata.xml
19 +++ b/dev-lang/polyml/metadata.xml
20 @@ -1,7 +1,10 @@
21 <?xml version="1.0" encoding="UTF-8"?>
22 <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
23 <pkgmetadata>
24 - <!-- maintainer-needed -->
25 + <maintainer type="project">
26 + <email>ml@g.o</email>
27 + <name>ML</name>
28 + </maintainer>
29 <use>
30 <flag name="portable">Build the portable interpreter version of Poly/ML instead of native</flag>
31 </use>