* [gentoo-commits] gentoo-x86 commit in sci-mathematics/prover9: metadata.xml ChangeLog
@ 2012-01-30 5:16 Mark Wright (gienah)
0 siblings, 0 replies; 2+ messages in thread
From: Mark Wright (gienah) @ 2012-01-30 5:16 UTC (permalink / raw
To: gentoo-commits
gienah 12/01/30 05:16:54
Modified: metadata.xml ChangeLog
Log:
Note I am the maintainer in metadata.xml.
(Portage version: 2.1.10.44/cvs/Linux x86_64)
Revision Changes Path
1.2 sci-mathematics/prover9/metadata.xml
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/prover9/metadata.xml?rev=1.2&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/prover9/metadata.xml?rev=1.2&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/prover9/metadata.xml?r1=1.1&r2=1.2
Index: metadata.xml
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/prover9/metadata.xml,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- metadata.xml 8 Jan 2012 13:57:17 -0000 1.1
+++ metadata.xml 30 Jan 2012 05:16:54 -0000 1.2
@@ -1,6 +1,9 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
+<maintainer>
+ <email>gienah@gentoo.org></email>
+</maintainer>
<herd>sci-mathematics</herd>
<longdescription lang='en'>
Prover9 and Mace4 Prover9 is an automated theorem prover for
1.3 sci-mathematics/prover9/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/prover9/ChangeLog?rev=1.3&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/prover9/ChangeLog?rev=1.3&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/prover9/ChangeLog?r1=1.2&r2=1.3
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/prover9/ChangeLog,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- ChangeLog 8 Jan 2012 15:01:39 -0000 1.2
+++ ChangeLog 30 Jan 2012 05:16:54 -0000 1.3
@@ -1,6 +1,9 @@
# ChangeLog for sci-mathematics/prover9
# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/prover9/ChangeLog,v 1.2 2012/01/08 15:01:39 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/prover9/ChangeLog,v 1.3 2012/01/30 05:16:54 gienah Exp $
+
+ 30 Jan 2012; Mark Wright <gienah@gentoo.org> metadata.xml:
+ Note I am the maintainer in metadata.xml.
08 Jan 2012; Mark Wright <gienah@gentoo.org> prover9-2009.11a.ebuild:
Compress the mirrored patch, thanks to xarthisius for reviewing
^ permalink raw reply [flat|nested] 2+ messages in thread
* [gentoo-commits] gentoo-x86 commit in sci-mathematics/prover9: metadata.xml ChangeLog
@ 2013-05-24 5:49 Mark Wright (gienah)
0 siblings, 0 replies; 2+ messages in thread
From: Mark Wright (gienah) @ 2013-05-24 5:49 UTC (permalink / raw
To: gentoo-commits
gienah 13/05/24 05:49:50
Modified: metadata.xml ChangeLog
Log:
fix bug 466776 - typo in email address
(Portage version: 2.2.0_alpha176/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Revision Changes Path
1.3 sci-mathematics/prover9/metadata.xml
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/prover9/metadata.xml?rev=1.3&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/prover9/metadata.xml?rev=1.3&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/prover9/metadata.xml?r1=1.2&r2=1.3
Index: metadata.xml
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/prover9/metadata.xml,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- metadata.xml 30 Jan 2012 05:16:54 -0000 1.2
+++ metadata.xml 24 May 2013 05:49:50 -0000 1.3
@@ -2,7 +2,8 @@
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<maintainer>
- <email>gienah@gentoo.org></email>
+ <email>gienah@gentoo.org</email>
+ <name>Mark Wright</name>
</maintainer>
<herd>sci-mathematics</herd>
<longdescription lang='en'>
1.4 sci-mathematics/prover9/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/prover9/ChangeLog?rev=1.4&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/prover9/ChangeLog?rev=1.4&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/prover9/ChangeLog?r1=1.3&r2=1.4
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/prover9/ChangeLog,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -r1.3 -r1.4
--- ChangeLog 30 Jan 2012 05:16:54 -0000 1.3
+++ ChangeLog 24 May 2013 05:49:50 -0000 1.4
@@ -1,6 +1,9 @@
# ChangeLog for sci-mathematics/prover9
-# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/prover9/ChangeLog,v 1.3 2012/01/30 05:16:54 gienah Exp $
+# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/prover9/ChangeLog,v 1.4 2013/05/24 05:49:50 gienah Exp $
+
+ 24 May 2013; Mark Wright <gienah@gentoo.org> metadata.xml:
+ fix bug 466776 - typo in email address
30 Jan 2012; Mark Wright <gienah@gentoo.org> metadata.xml:
Note I am the maintainer in metadata.xml.
@@ -13,4 +16,3 @@
08 Jan 2012; Mark Wright <gienah@gentoo.org>
+files/LADR-2009-11A-manpages.patch, +prover9-2009.11a.ebuild, +metadata.xml:
Add prover9 mace4 ebuild, thanks Thomas Veith, fixes #49205.
-
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2013-05-24 5:49 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2012-01-30 5:16 [gentoo-commits] gentoo-x86 commit in sci-mathematics/prover9: metadata.xml ChangeLog Mark Wright (gienah)
-- strict thread matches above, loose matches on Subject: below --
2013-05-24 5:49 Mark Wright (gienah)
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox