From: | "Sebastian Pipping (sping)" <sping@g.o> |
---|---|
To: | gentoo-commits@l.g.o |
Subject: | [gentoo-commits] gentoo commit in xml/htdocs/proj/en/overlays: repositories.xml |
Date: | Wed, 08 Feb 2012 02:14:05 |
Message-Id: | 20120208021349.816552004C@flycatcher.gentoo.org |
1 | sping 12/02/08 02:13:49 |
2 | |
3 | Modified: repositories.xml |
4 | Log: |
5 | Add overlay "dawan" |
6 | |
7 | Revision Changes Path |
8 | 1.274 xml/htdocs/proj/en/overlays/repositories.xml |
9 | |
10 | file : http://sources.gentoo.org/viewvc.cgi/gentoo/xml/htdocs/proj/en/overlays/repositories.xml?rev=1.274&view=markup |
11 | plain: http://sources.gentoo.org/viewvc.cgi/gentoo/xml/htdocs/proj/en/overlays/repositories.xml?rev=1.274&content-type=text/plain |
12 | diff : http://sources.gentoo.org/viewvc.cgi/gentoo/xml/htdocs/proj/en/overlays/repositories.xml?r1=1.273&r2=1.274 |
13 | |
14 | Index: repositories.xml |
15 | =================================================================== |
16 | RCS file: /var/cvsroot/gentoo/xml/htdocs/proj/en/overlays/repositories.xml,v |
17 | retrieving revision 1.273 |
18 | retrieving revision 1.274 |
19 | diff -u -r1.273 -r1.274 |
20 | --- repositories.xml 3 Feb 2012 14:20:27 -0000 1.273 |
21 | +++ repositories.xml 8 Feb 2012 02:13:49 -0000 1.274 |
22 | @@ -1,5 +1,5 @@ |
23 | <!-- <?xml version="1.0" encoding="UTF-8"?> --> |
24 | -<!-- $Header: /var/cvsroot/gentoo/xml/htdocs/proj/en/overlays/repositories.xml,v 1.273 2012/02/03 14:20:27 sping Exp $ --> |
25 | +<!-- $Header: /var/cvsroot/gentoo/xml/htdocs/proj/en/overlays/repositories.xml,v 1.274 2012/02/08 02:13:49 sping Exp $ --> |
26 | <?xml-stylesheet href="/xsl/repositories.xsl" type="text/xsl"?> |
27 | <!DOCTYPE repositories SYSTEM "/dtd/repositories.dtd"> |
28 | <repositories version="1.0"> |
29 | @@ -600,6 +600,20 @@ |
30 | <feed>https://github.com/yermandu/dauleet/commits/master.atom</feed> |
31 | </repo> |
32 | <repo quality="experimental" status="unofficial"> |
33 | + <name>dawan</name> |
34 | + <description lang="en">OCaml and proof-search related ebuilds</description> |
35 | + <homepage>http://git.overlays.gentoo.org/gitweb/?p=user/dawan.git;a=summary</homepage> |
36 | + <owner type="person"> |
37 | + <email>dawan@×××××.net</email> |
38 | + <name>Quentin Heath</name> |
39 | + </owner> |
40 | + <source type="git">git://git.overlays.gentoo.org/user/dawan.git</source> |
41 | + <source type="git">http://git.overlays.gentoo.org/gitroot/user/dawan.git</source> |
42 | + <source type="git">git+ssh://git@×××××××××××××××××××.org/user/dawan.git</source> |
43 | + <feed>http://git.overlays.gentoo.org/gitweb/?p=user/dawan.git;a=atom</feed> |
44 | + <feed>http://git.overlays.gentoo.org/gitweb/?p=user/dawan.git;a=rss</feed> |
45 | + </repo> |
46 | + <repo quality="experimental" status="unofficial"> |
47 | <name>dberkholz</name> |
48 | <description>Donnie Berkholz's private developer overlay</description> |
49 | <homepage>http://dev.gentoo.org/~dberkholz/overlay/</homepage> |