From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id DC478138330 for ; Sun, 9 Oct 2016 09:37:52 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id D8405E0B62; Sun, 9 Oct 2016 09:37:48 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id BAC3FE0B62 for ; Sun, 9 Oct 2016 09:37:48 +0000 (UTC) Received: from oystercatcher.gentoo.org (oystercatcher.gentoo.org [148.251.78.52]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 354C5341564 for ; Sun, 9 Oct 2016 09:37:46 +0000 (UTC) Received: from localhost.localdomain (localhost [127.0.0.1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 3DA147E1 for ; Sun, 9 Oct 2016 09:37:45 +0000 (UTC) From: "Kristian Fiskerstrand" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Kristian Fiskerstrand" Message-ID: <1476005832.6dd5017426f94cf5a7bc886f70776d9649335008.k_f@gentoo> Subject: [gentoo-commits] data/api:master commit in: files/overlays/ X-VCS-Repository: data/api X-VCS-Files: files/overlays/repositories.xml X-VCS-Directories: files/overlays/ X-VCS-Committer: k_f X-VCS-Committer-Name: Kristian Fiskerstrand X-VCS-Revision: 6dd5017426f94cf5a7bc886f70776d9649335008 X-VCS-Branch: master Date: Sun, 9 Oct 2016 09:37:45 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Archives-Salt: b15bbf13-c624-4345-869a-ac6f74edad05 X-Archives-Hash: ce8e64421ac4f6724ba3e3b3e20b8e29 commit: 6dd5017426f94cf5a7bc886f70776d9649335008 Author: Kristian Fiskerstrand sumptuouscapital com> AuthorDate: Sun Oct 9 09:37:12 2016 +0000 Commit: Kristian Fiskerstrand gentoo org> CommitDate: Sun Oct 9 09:37:12 2016 +0000 URL: https://gitweb.gentoo.org/data/api.git/commit/?id=6dd50174 (repositories.xml) Add das-labor overlay files/overlays/repositories.xml | 14 ++++++++++++++ 1 file changed, 14 insertions(+) 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 + das-labor + Gentoo overlay from Hackerspace Bochum + https://github.com/das-labor/labor-overlay + + zaolin@das-labor.org + Philipp Deppenwiese + + + kai@gnupg.org + Kai Michaelis + + https://github.com/das-labor/labor-overlay.git + + dawan OCaml and proof-search related ebuilds https://cgit.gentoo.org/user/dawan.git/