diff options
| author |   Kristian Fiskerstrand <kf@sumptuouscapital.com> | 2016-10-09 11:37:12 +0200 |
|---|---|---|
| committer | Kristian Fiskerstrand <kf@sumptuouscapital.com> | 2016-10-09 11:37:12 +0200 |
| commit | 6dd5017426f94cf5a7bc886f70776d9649335008 (patch) | |
| tree | d439dfcf8843b7d9d041ec086afb7aedbc7ac5d9 /files | |
| parent | repositories: Add graveyard (diff) | |
| download | api-6dd5017426f94cf5a7bc886f70776d9649335008.tar.gz api-6dd5017426f94cf5a7bc886f70776d9649335008.tar.bz2 api-6dd5017426f94cf5a7bc886f70776d9649335008.zip | |
(repositories.xml) Add das-labor overlay
Diffstat (limited to 'files')
| -rw-r--r-- | files/overlays/repositories.xml | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/files/overlays/repositories.xml b/files/overlays/repositories.xml index 0b3602c..770d6ab 100644 --- a/files/overlays/repositories.xml +++ b/files/overlays/repositories.xml @@ -988,6 +988,20 @@ FIN <!-- <feed>https://cgit.gentoo.org/dev/darkside.git/rss/</feed> --> </repo> <repo quality="experimental" status="unofficial"> + <name>das-labor</name> + <description lang="en">Gentoo overlay from Hackerspace Bochum</description> + <homepage>https://github.com/das-labor/labor-overlay</homepage> + <owner type="person"> + <email>zaolin@das-labor.org</email> + <name>Philipp Deppenwiese</name> + </owner> + <owner type="person"> + <email>kai@gnupg.org</email> + <name>Kai Michaelis</name> + </owner> + <source type="git">https://github.com/das-labor/labor-overlay.git</source> + </repo> + <repo quality="experimental" status="unofficial"> <name>dawan</name> <description lang="en">OCaml and proof-search related ebuilds</description> <homepage>https://cgit.gentoo.org/user/dawan.git/</homepage> |