Gentoo Archives: gentoo-commits

From: Kristian Fiskerstrand <k_f@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] data/api:master commit in: files/overlays/
Date: Sun, 09 Oct 2016 09:37:52
Message-Id: 1476005832.6dd5017426f94cf5a7bc886f70776d9649335008.k_f@gentoo
1 commit: 6dd5017426f94cf5a7bc886f70776d9649335008
2 Author: Kristian Fiskerstrand <kf <AT> sumptuouscapital <DOT> com>
3 AuthorDate: Sun Oct 9 09:37:12 2016 +0000
4 Commit: Kristian Fiskerstrand <k_f <AT> gentoo <DOT> org>
5 CommitDate: Sun Oct 9 09:37:12 2016 +0000
6 URL: https://gitweb.gentoo.org/data/api.git/commit/?id=6dd50174
7
8 (repositories.xml) Add das-labor overlay
9
10 files/overlays/repositories.xml | 14 ++++++++++++++
11 1 file changed, 14 insertions(+)
12
13 diff --git a/files/overlays/repositories.xml b/files/overlays/repositories.xml
14 index 0b3602c..770d6ab 100644
15 --- a/files/overlays/repositories.xml
16 +++ b/files/overlays/repositories.xml
17 @@ -988,6 +988,20 @@ FIN
18 <!-- <feed>https://cgit.gentoo.org/dev/darkside.git/rss/</feed> -->
19 </repo>
20 <repo quality="experimental" status="unofficial">
21 + <name>das-labor</name>
22 + <description lang="en">Gentoo overlay from Hackerspace Bochum</description>
23 + <homepage>https://github.com/das-labor/labor-overlay</homepage>
24 + <owner type="person">
25 + <email>zaolin@×××××××××.org</email>
26 + <name>Philipp Deppenwiese</name>
27 + </owner>
28 + <owner type="person">
29 + <email>kai@×××××.org</email>
30 + <name>Kai Michaelis</name>
31 + </owner>
32 + <source type="git">https://github.com/das-labor/labor-overlay.git</source>
33 + </repo>
34 + <repo quality="experimental" status="unofficial">
35 <name>dawan</name>
36 <description lang="en">OCaml and proof-search related ebuilds</description>
37 <homepage>https://cgit.gentoo.org/user/dawan.git/</homepage>