[gentoo-commits] data/api:master commit in: files/overlays/

[Michał Górny]

commit:     dc68623eb845baf7d8e3a8affcf00053073cb7e2
Author:     Michał Górny <mgorny <AT> gentoo <DOT> org>
AuthorDate: Sun Nov 25 10:58:21 2018 +0000
Commit:     Michał Górny <mgorny <AT> gentoo <DOT> org>
CommitDate: Sun Nov 25 10:58:21 2018 +0000
URL:        https://gitweb.gentoo.org/data/api.git/commit/?id=dc68623e

files/overlays: Remove dawan

Closes: https://bugs.gentoo.org/671700
Signed-off-by: Michał Górny <mgorny <AT> gentoo.org>

 files/overlays/repositories.xml | 14 --------------
 1 file changed, 14 deletions(-)

diff --git a/files/overlays/repositories.xml b/files/overlays/repositories.xml
index fbd90f9..9f62319 100644
--- a/files/overlays/repositories.xml
+++ b/files/overlays/repositories.xml
@@ -993,20 +993,6 @@
     </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>
-    <owner type="person">
-      <email>dawan@×××××.net</email>
-      <name>Quentin Heath</name>
-    </owner>
-    <source type="git">https://anongit.gentoo.org/git/user/dawan.git</source>
-    <source type="git">git://anongit.gentoo.org/user/dawan.git</source>
-    <source type="git">git+ssh://git@××××××××××.org/user/dawan.git</source>
-    <feed>https://cgit.gentoo.org/user/dawan.git/atom/</feed>
-    <!-- <feed>https://cgit.gentoo.org/user/dawan.git/rss/</feed> -->
-  </repo>
   <repo quality="experimental" status="unofficial">
     <name>deadbeef-overlay</name>
     <description lang="en">DeaDBeeF player overlay for Gentoo Linux</description>