Gentoo Archives: gentoo-commits

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>