Gentoo Archives: gentoo-commits

From: "Mark Wright (gienah)" <gienah@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] gentoo-x86 commit in sci-mathematics/prover9: metadata.xml ChangeLog
Date: Mon, 30 Jan 2012 05:17:09
Message-Id: 20120130051654.4C4302004B@flycatcher.gentoo.org
1 gienah 12/01/30 05:16:54
2
3 Modified: metadata.xml ChangeLog
4 Log:
5 Note I am the maintainer in metadata.xml.
6
7 (Portage version: 2.1.10.44/cvs/Linux x86_64)
8
9 Revision Changes Path
10 1.2 sci-mathematics/prover9/metadata.xml
11
12 file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/prover9/metadata.xml?rev=1.2&view=markup
13 plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/prover9/metadata.xml?rev=1.2&content-type=text/plain
14 diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/prover9/metadata.xml?r1=1.1&r2=1.2
15
16 Index: metadata.xml
17 ===================================================================
18 RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/prover9/metadata.xml,v
19 retrieving revision 1.1
20 retrieving revision 1.2
21 diff -u -r1.1 -r1.2
22 --- metadata.xml 8 Jan 2012 13:57:17 -0000 1.1
23 +++ metadata.xml 30 Jan 2012 05:16:54 -0000 1.2
24 @@ -1,6 +1,9 @@
25 <?xml version="1.0" encoding="UTF-8"?>
26 <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
27 <pkgmetadata>
28 +<maintainer>
29 + <email>gienah@g.o></email>
30 +</maintainer>
31 <herd>sci-mathematics</herd>
32 <longdescription lang='en'>
33 Prover9 and Mace4 Prover9 is an automated theorem prover for
34
35
36
37 1.3 sci-mathematics/prover9/ChangeLog
38
39 file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/prover9/ChangeLog?rev=1.3&view=markup
40 plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/prover9/ChangeLog?rev=1.3&content-type=text/plain
41 diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/prover9/ChangeLog?r1=1.2&r2=1.3
42
43 Index: ChangeLog
44 ===================================================================
45 RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/prover9/ChangeLog,v
46 retrieving revision 1.2
47 retrieving revision 1.3
48 diff -u -r1.2 -r1.3
49 --- ChangeLog 8 Jan 2012 15:01:39 -0000 1.2
50 +++ ChangeLog 30 Jan 2012 05:16:54 -0000 1.3
51 @@ -1,6 +1,9 @@
52 # ChangeLog for sci-mathematics/prover9
53 # Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
54 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/prover9/ChangeLog,v 1.2 2012/01/08 15:01:39 gienah Exp $
55 +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/prover9/ChangeLog,v 1.3 2012/01/30 05:16:54 gienah Exp $
56 +
57 + 30 Jan 2012; Mark Wright <gienah@g.o> metadata.xml:
58 + Note I am the maintainer in metadata.xml.
59
60 08 Jan 2012; Mark Wright <gienah@g.o> prover9-2009.11a.ebuild:
61 Compress the mirrored patch, thanks to xarthisius for reviewing