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>[email protected]</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://[email protected]/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>
