summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMark Wright <gienah@gentoo.org>2013-05-24 05:51:57 +0000
committerMark Wright <gienah@gentoo.org>2013-05-24 05:51:57 +0000
commit4e1dab5762f5fa4d24925cb2d4299c42586c7699 (patch)
tree7a79068475e9c50f4c0f434a1e1d3cda9d7080ea /sci-mathematics
parentBug #470670 - gentoo's council says to deprecate EAPIs 1 and 2. (diff)
downloadhistorical-4e1dab5762f5fa4d24925cb2d4299c42586c7699.tar.gz
historical-4e1dab5762f5fa4d24925cb2d4299c42586c7699.tar.bz2
historical-4e1dab5762f5fa4d24925cb2d4299c42586c7699.zip
fix bug 466776 - typo in email address
Package-Manager: portage-2.2.0_alpha176/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/e/ChangeLog7
-rw-r--r--sci-mathematics/e/Manifest10
-rw-r--r--sci-mathematics/e/metadata.xml3
-rw-r--r--sci-mathematics/kodkodi/ChangeLog7
-rw-r--r--sci-mathematics/kodkodi/Manifest10
-rw-r--r--sci-mathematics/kodkodi/metadata.xml3
-rw-r--r--sci-mathematics/prover9/ChangeLog8
-rw-r--r--sci-mathematics/prover9/Manifest20
-rw-r--r--sci-mathematics/prover9/metadata.xml3
-rw-r--r--sci-mathematics/sha1-polyml/ChangeLog7
-rw-r--r--sci-mathematics/sha1-polyml/Manifest10
-rw-r--r--sci-mathematics/sha1-polyml/metadata.xml3
-rw-r--r--sci-mathematics/twelf/ChangeLog7
-rw-r--r--sci-mathematics/twelf/Manifest10
-rw-r--r--sci-mathematics/twelf/metadata.xml3
15 files changed, 65 insertions, 46 deletions
diff --git a/sci-mathematics/e/ChangeLog b/sci-mathematics/e/ChangeLog
index 885ef7d8065e..636246ad238c 100644
--- a/sci-mathematics/e/ChangeLog
+++ b/sci-mathematics/e/ChangeLog
@@ -1,6 +1,9 @@
# ChangeLog for sci-mathematics/e
-# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/e/ChangeLog,v 1.3 2012/12/05 10:21:11 gienah Exp $
+# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/e/ChangeLog,v 1.4 2013/05/24 05:47:17 gienah Exp $
+
+ 24 May 2013; Mark Wright <gienah@gentoo.org> metadata.xml:
+ fix bug 466776 - typo in email address
05 Dec 2012; Mark Wright <gienah@gentoo.org> e-1.5.ebuild, e-1.6.ebuild:
EAPI=5 with subslot depends to automatically rebuild e when isabelle is
diff --git a/sci-mathematics/e/Manifest b/sci-mathematics/e/Manifest
index e5eb201eb068..37a5238eb9fa 100644
--- a/sci-mathematics/e/Manifest
+++ b/sci-mathematics/e/Manifest
@@ -5,12 +5,12 @@ DIST E-1.5.tgz 1689077 SHA256 37239f169a9af3bb64edd205abe5022a043a1f4ea9ec694b39
DIST E-1.6.tgz 1627003 SHA256 91afe68f37ca2005a8eead3bdba0a4452de7cf7100369c9955304c8609b70c90 SHA512 769aa4d04595181285be49c1f21d7e8a47936fab78b5d6f2975910a64d4928cd2be97d781c4092dadab48d213a6bc788b8247a2310cf71042b1339129fe0cdf2 WHIRLPOOL 96c82427132017ee3f78c644ede9a018c74d59d7029fe006435baac9502d6cf6b097c51eeb1078b98ce8a208572956db756dcccd6529bcaba32519596dabf486
EBUILD e-1.5.ebuild 3456 SHA256 e899f3e21fc482abea857f3d0049334f58448b1eb94013023bc0322b8249a7ea SHA512 f93b7c448ef68bd53b3ad1401e9812b2a6ee917842a12560a02141d2fab81d51ab24a25a994c59d8febdccdce07d389a5eb686af5e38ec0eeedb47935ffb0d4c WHIRLPOOL 0c1d901f1725920fcad6cacc1e458bc56cba0f06e8ca94c80df74ae90d1fafc3622c70981f87cf26e217a5ae005e00c70b01b2e62dfcb9eb8cb9bad4f796112d
EBUILD e-1.6.ebuild 3456 SHA256 e444d2bd9c17b612abeb846dc006a53a95a859450eeed10115147b424d7588af SHA512 55ca34c48866b81d8a1ee3a30ee8e3954df9804ec8189e0f80ba36393413794611c87ed77a9d08fbeaa17bca60cab45e3141409314322e8e00026d35074b2d70 WHIRLPOOL 5b304628888c4f8b1c054e7dd3a3c79b33529aacb9cdbda1cbce06b10db62ca84f34bc080188ce4e109563599c7a6af56047e1496fa5c2dff2bd8a86b692289b
-MISC ChangeLog 692 SHA256 e8f84a2707d1c77f91458c986a4c242557d9b0ec9ebda3c3e864a4e7022df0f4 SHA512 d1d77e413f3758f4c808546c3ff7789ff844725707b15c9364b13068375c83f7faf389f8bed6b01f020db9f11a2cf9d118b1de8608649b6051658cf02a669f79 WHIRLPOOL cc3af3df334484d26105c3866d1edb54279d2ccdfb46ba8a93d61c91d57d6181282a6765d3e623172c1468ddddf341c6e3873c5c75529672de344ca88802ddbf
-MISC metadata.xml 1323 SHA256 ee934514d44fa85025ca82639eae1ae007ca9585d86a82bf5b3b413b31de1af0 SHA512 674856ce26521d4c3c02912824356af15e46f54d9ca632f9eb86e1aaf157581888d7f33916fa1740a258d113e516048daadea08c2e2e99bf39ce308781399605 WHIRLPOOL eb59e249d34aa7c3fafec8f7baa266079ad7e23c25f7903a7a1c977a72407812577bbdff94a97ba6f80bdce95b5f0dde308a70b0b0d45c443dc895a68a0d9fbd
+MISC ChangeLog 795 SHA256 bafc1e01f703663573b0bec09b2dc4cd74c89072ecff4c34ebf787e79d477501 SHA512 8e414278fa3d840d7709b0ed9a0fcf1f7f080ead3bab2cf9d2c7f2b54664b517f68476e2ccbda125e4cb95bae9009d358ae7785c9a7a04bdf392bd4e8e4030e2 WHIRLPOOL 9c20e7b88882b8aa32d311b29d8a62d5fe6a41ca331e70685b0f500cf2f9c3b5dc603a7bf8d1558b163a09adc4dfc5d7c2b89d5b7abb071c9195e08ba940527e
+MISC metadata.xml 1349 SHA256 ca931b226d8e8afe4fdf13d8c0a9b7a8dfa87db6d378d239ddf0b2d4b9d71645 SHA512 1692dcf5f7de092d8efd0db48d6adb271f0a0b904b0d184544a69bb6b2155e87524a6db68a023ccc4c5837f8c5b564c1b3db340d22b47a3121a680fffebb2a09 WHIRLPOOL ba4bd5eb6477aadc8aedb4e7c47cf9deaa34760a8ff6e59e82ceb5a107340dde4d11df02b40baf745b15bfcb1f22ad5748d158f2a0c45db2ec94a6c0c9719ce9
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.19 (GNU/Linux)
-iF4EAREIAAYFAlC/IBwACgkQoBEVQmGOlx8WJwD+NOvkYqpPkV20nMVXzZQVhZY/
-EcOirP5cf3MZ17jq2+sA/A7UY0ZpwIalvVIaQSgmrCakpcgVlnhgQ9lkcyz1IOHZ
-=/QuN
+iF4EAREIAAYFAlGe/kwACgkQoBEVQmGOlx9HlQD/U7MShSGnJ8w4FtyCWMtJpSvu
+5xF61QTYk8Ev0yuyvjEBAM86JvSfXyE9yHLIfuKwTsgyRSZbM9xIW0vjIfUXPaHt
+=Odrk
-----END PGP SIGNATURE-----
diff --git a/sci-mathematics/e/metadata.xml b/sci-mathematics/e/metadata.xml
index 89885280d505..215faaa6df45 100644
--- a/sci-mathematics/e/metadata.xml
+++ b/sci-mathematics/e/metadata.xml
@@ -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'>
diff --git a/sci-mathematics/kodkodi/ChangeLog b/sci-mathematics/kodkodi/ChangeLog
index 8df52ee8b73a..b94e88f1eb44 100644
--- a/sci-mathematics/kodkodi/ChangeLog
+++ b/sci-mathematics/kodkodi/ChangeLog
@@ -1,6 +1,9 @@
# ChangeLog for sci-mathematics/kodkodi
-# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/kodkodi/ChangeLog,v 1.1 2012/12/05 10:44:14 gienah Exp $
+# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/kodkodi/ChangeLog,v 1.2 2013/05/24 05:48:44 gienah Exp $
+
+ 24 May 2013; Mark Wright <gienah@gentoo.org> metadata.xml:
+ fix bug 466776 - typo in email address
*kodkodi-1.5.2 (05 Dec 2012)
diff --git a/sci-mathematics/kodkodi/Manifest b/sci-mathematics/kodkodi/Manifest
index d290abc3edbb..7627c43638ad 100644
--- a/sci-mathematics/kodkodi/Manifest
+++ b/sci-mathematics/kodkodi/Manifest
@@ -3,12 +3,12 @@ Hash: SHA256
DIST kodkodi-1.5.2.tgz 2826648 SHA256 1518d75f3748aa7c791623ff1508b4202f14d744e13b9bd41abf575429caa2b7 SHA512 117e0f1b3e3ee88efb9a9e2f02e8a7ce82a3487528ad0476acf20fafd885d3d48c051bd4a8cb6aa5cda61f24dfa74159448b83398be4119e726e757f6ff3aad4 WHIRLPOOL f331b423b2ad430b59f425d799c3991dccf0e5e9018015f12c30be851f8254cf3b0e39da12fcfd07083813671316ecdcbfc70429742e89cf7b2b4093b773bb0b
EBUILD kodkodi-1.5.2.ebuild 3121 SHA256 d8f5d029dbfc31dab30248ac66a8e08ec4cf99bddabdeaebcc1b89506c28d1df SHA512 b9697ff679248a68ca4ef3374457ef93d18d5b8bc1b770a5df156697f1129dd2d9a570664aa8701e13c6c6ba81aadf4ac7f97fc056cff80f9838414dde1c5b4e WHIRLPOOL 55a4e658137dc30d70576b4421df3a4ff6cfbe4cbe9b901b56c833e71113c0a0ac0aa99db2f9081f64e9a6387f053236b800d3a02244d855167b586465fe741c
-MISC ChangeLog 424 SHA256 2406d88e4730f3f202da76c89daf606a1125a655114f38496c132a62a6a44185 SHA512 cf93924384f91e72e993b188026c2174107ac52d3cc18fb81c48d13602b6100637f88b0c0cebd5e803b5da7bf28370d00f1b10febc35c8bbb978358298608480 WHIRLPOOL 5fd0bafdb2b03cb8db55a391ce18ff6efb4aed64ba59dd67882cff6bdbf1e3a356bd58b7587f948beaa7fb5091edfeabe95676b6cd8eab1e64f895fa49542763
-MISC metadata.xml 431 SHA256 2a8f7fed68c025a7c1661df307801ae8aa463602c027ad0c889b21b00489002f SHA512 9646f7201659da20382bdfee31bbab2536c95ebe539c5567759b9021e7c959cf2a8caa24bb1c8f92a92a568b3c7e5049baffccb8afa657365fc2dc4a1f56fc30 WHIRLPOOL 2190ae43ae0a8fd80fe24a6d487cdb8cc05deeea204c11c4d51381d03481b8ad0ea21d8849c8ac52b9e93dc969e07b4dd5ed40f4824bfbc8862cacc5cb6c4c6c
+MISC ChangeLog 527 SHA256 6351097efb3b9ef1d877380e9bb006f1ecd9990af37b6d0072a70b402472abd5 SHA512 9f3b50c62f99f03afe55318f79702fd7f959e5cf187c5fdf6762ec809b0681e62fcb51566239c16ab113fd3c9c80c1ecaffd9d7c061d39b03e262d4f954050ef WHIRLPOOL f215f340e25bf552acadaad202d42c07a5ab7ac7173846ff4a422907a2481724cadbce542c12ed7fb583f100ab3c9ce89f07b0fdff326117ce114991900e7d84
+MISC metadata.xml 457 SHA256 a1cd9b7637ed993b791e220170ded5abe7d3ab79d5cfc82fcd65c7a691fef5d2 SHA512 6ac61c897c8013bdda86334ed09d4de78b641a12fa4dfb8430de8803e4475ac758ddbeb39d6b3c83bfc53af76d0a84f2f35d2732c7e64191bae35dd30d91fd3e WHIRLPOOL 2fdde110d292428ad8888b0e68b202da4eb939e16281c660cc5d6083183a8f737034cd9a44f697deb17b015c7c606019c308a14ee1aa9a8ae5dec7f90a0f054c
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.19 (GNU/Linux)
-iF4EAREIAAYFAlC/JYQACgkQoBEVQmGOlx9UbQEA0JzTnFSFjcnTdPftggHx0pJ2
-Yw4WAvP8MmFUmP0YW/QA/R3Rc4S77Cn6T4G9dFTgmnZlXY597mROQKL4SCNHDrmx
-=8XEz
+iF4EAREIAAYFAlGe/p8ACgkQoBEVQmGOlx/bRQEAutWla0/E8wqvK3N6W/Blc/mz
+oaKjmHDh0zE/D9E5XCYA/RBSm0hMmyr6Wyo5c/iCTugOy7lSRyHcuzCJwhYSSe++
+=okK+
-----END PGP SIGNATURE-----
diff --git a/sci-mathematics/kodkodi/metadata.xml b/sci-mathematics/kodkodi/metadata.xml
index 44ed58e67d6c..bcd7cbb8bab8 100644
--- a/sci-mathematics/kodkodi/metadata.xml
+++ b/sci-mathematics/kodkodi/metadata.xml
@@ -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'>
diff --git a/sci-mathematics/prover9/ChangeLog b/sci-mathematics/prover9/ChangeLog
index 3d81f962769c..c1e5ae3dc1d9 100644
--- a/sci-mathematics/prover9/ChangeLog
+++ b/sci-mathematics/prover9/ChangeLog
@@ -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.
-
diff --git a/sci-mathematics/prover9/Manifest b/sci-mathematics/prover9/Manifest
index cb3f2da510bd..5b41d77a70ed 100644
--- a/sci-mathematics/prover9/Manifest
+++ b/sci-mathematics/prover9/Manifest
@@ -1,16 +1,16 @@
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
-AUX LADR-2009-11A-manpages.patch 13832 RMD160 9e53ec550fab18666d66157297aadf5476fd0396 SHA1 de7e0b351b04c405bfb0a26b433c1cb4fdbe51c8 SHA256 d9ecfc1a476d1e06a4b83dc3a96a57c3cf78943571e910ea4be420ce5a255371
-DIST LADR-2009-11A-makefile.patch.bz2 4347 RMD160 bf5095f8088beb618932ba8e51f8e39a994248a1 SHA1 65403a4c7581c6fc60259dbb188a7edb42409f58 SHA256 6888de46540e493adc797b574cd17fab711d47902709a839aa1a9dbd075d7e2b
-DIST LADR-2009-11A.tar.gz 1795750 RMD160 b4b1af8af6b7bdd7c1f286789a1e16e38589590e SHA1 0b30a80f36512c0958b0e77ce18d0d8056e33bb1 SHA256 c32bed5807000c0b7161c276e50d9ca0af0cb248df2c1affb2f6fc02471b51d0
-EBUILD prover9-2009.11a.ebuild 4811 RMD160 9b40969e91201e20f196da7d7a317624bea301e7 SHA1 4f7fbb945a5c7529a82816b88faa2e9e6d5599df SHA256 3333a950a87c6cac26b1ff8ec6ee543b5b3dddda806f9f8c525c99f319968d10
-MISC ChangeLog 688 RMD160 54b487044d65302917e35017938e1e7f88198c61 SHA1 c841c71747e0b5cecdbcc006d51b991d3fe7a67f SHA256 3354dc19bb23acfefe660937efb1e14c1e3c8aca77c4409fbd06dbe37295f308
-MISC metadata.xml 486 RMD160 a866bb4ae53de80aeb934647cd7c849341975a43 SHA1 cb84c6ea3459640c1b960b752f30b92a969c99bf SHA256 4030eae81beca07ab3a2f6c2db9f100471c05d27219fbad21234a09ff1154708
+AUX LADR-2009-11A-manpages.patch 13832 SHA256 d9ecfc1a476d1e06a4b83dc3a96a57c3cf78943571e910ea4be420ce5a255371 SHA512 4c9f862b33d7b6b33b5e4a82b38418c6ae41b7adae565d376cc741608eb989e3846c1e98589dea62f7cadeb0b1f0f5814afe95ee6cf0da63c6961620d8b2677c WHIRLPOOL ce25b003f4ea4262e2431437e840d188ac73bab08f2397d7869badb9adfd783e58fb09d01ddaee983fc4b9078b716cb04958125df800984bdb486f11badd39a6
+DIST LADR-2009-11A-makefile.patch.bz2 4347 SHA256 6888de46540e493adc797b574cd17fab711d47902709a839aa1a9dbd075d7e2b SHA512 836923ca48f36e3f0dcb9b84e3e1adc9eb6e3ceee2d7c29960a26b737a7c8f592777aa8b2a9fcd8dbe6c5da67b733de94c49cc6377edcaf404a4582bdc903ac0 WHIRLPOOL 0a42b11adf27bbbf01970ad7ef049fca74fd53e7de16b4872a8b826572aaef0bda60d4805f2a6a6cc92068a4905da8dd7f928e25bc1bcbc4c5f9ddc0d9a26e48
+DIST LADR-2009-11A.tar.gz 1795750 SHA256 c32bed5807000c0b7161c276e50d9ca0af0cb248df2c1affb2f6fc02471b51d0 SHA512 f26d3713eb2ba809fb3d55ce179e9d91555ab9166e075aa0843bafe57ce00f153cfed178b61993d4fd471655840e4f40775d75dac9fb5242a67e5d59c970dfc7 WHIRLPOOL 6e6abd1a5c7bfc988fb693eeea08bdfba77c9badea3d4a77764efcb9ee16c36b372241fbf4d4dead911cabf9a03721988f334977379da47d04b4320bae257fad
+EBUILD prover9-2009.11a.ebuild 4811 SHA256 3333a950a87c6cac26b1ff8ec6ee543b5b3dddda806f9f8c525c99f319968d10 SHA512 a28aceceb5ba19805132e5de20e92599cb97099ddc74f8b0c6669eec6dfc0d45f8b39f52dbe2798b82717b93c8436501b1b493608deb20a539d673fb0cc9b8a5 WHIRLPOOL ffe83078da6e7a05916b0598495732ec39e170f2da44788fd7b5094573a101ac8c9f38a72a1a75266183ba9ce1332939ef66626c6cd2a9f1acbd834c22e56022
+MISC ChangeLog 790 SHA256 0fb68b8f5b422d005f385a2d8a8d1361627a52a23014e3f270db54fc94b81f82 SHA512 c7d277b26539cfc3678f709c7154d7a9fb69b24398b678baaecd9b9a4e7f409caf245641dbda83f392d35f3be1b4bc029f35440444669ea1b1d879dec2638e41 WHIRLPOOL fd9d42ee926adfdde03b7092838f3ca10c042d43b02081201aad72c4e161108833a314d2be462901b5a241c53f75a7c1a623d0c169f8044e033e496cb1b97b2d
+MISC metadata.xml 512 SHA256 30e262e89ee011733e85fe89ed6939ca7f9cd2ca2ca2d087b3e1f15167deb5e8 SHA512 e7588f5a5d002445ac08873e5535c561298f0b305be6f689ceae3fc0b17bd643c9e99d41b8b4521d672d708977003c0d617985cd82c504b058c4f31ce286bf8c WHIRLPOOL f2b2b20e8943b315d1caf47e01842e3220fd0a74eff524a867ab9ae9aeb20c0b7685aa0db35e55d161b77348975f489776872f6e298d10bb2b70bfe2decde3fd
-----BEGIN PGP SIGNATURE-----
-Version: GnuPG v2.0.17 (GNU/Linux)
+Version: GnuPG v2.0.19 (GNU/Linux)
-iF4EAREIAAYFAk8mJ9QACgkQoBEVQmGOlx8r1wD+Mkgaw+BZ0tkwf8uqBxcl0dGX
-VLsLMDLl5Vl1v+1s6VkA/jowPPJ5kuEbRu3ZBrrKNreDnltqo4T276m8LB1iBUXD
-=8oqR
+iF4EAREIAAYFAlGe/uEACgkQoBEVQmGOlx8NQwD/T9oAWggUg3dW9xmJ0A0NJs9w
+k59vSQikclo7OxQ4iZkA/2LpjMQ9MjkwgSdAVeG0SIziOTpdyGvjdMVLLyGC4q+R
+=C01t
-----END PGP SIGNATURE-----
diff --git a/sci-mathematics/prover9/metadata.xml b/sci-mathematics/prover9/metadata.xml
index fbb5bce68955..009eafb60919 100644
--- a/sci-mathematics/prover9/metadata.xml
+++ b/sci-mathematics/prover9/metadata.xml
@@ -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'>
diff --git a/sci-mathematics/sha1-polyml/ChangeLog b/sci-mathematics/sha1-polyml/ChangeLog
index 36eccfbae533..dd272a52000d 100644
--- a/sci-mathematics/sha1-polyml/ChangeLog
+++ b/sci-mathematics/sha1-polyml/ChangeLog
@@ -1,6 +1,9 @@
# ChangeLog for sci-mathematics/sha1-polyml
-# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/sha1-polyml/ChangeLog,v 1.1 2012/12/08 08:05:32 gienah Exp $
+# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/sha1-polyml/ChangeLog,v 1.2 2013/05/24 05:50:44 gienah Exp $
+
+ 24 May 2013; Mark Wright <gienah@gentoo.org> metadata.xml:
+ fix bug 466776 - typo in email address
*sha1-polyml-5.5.0 (08 Dec 2012)
diff --git a/sci-mathematics/sha1-polyml/Manifest b/sci-mathematics/sha1-polyml/Manifest
index 80b1cff4ae65..f23d4329dd2a 100644
--- a/sci-mathematics/sha1-polyml/Manifest
+++ b/sci-mathematics/sha1-polyml/Manifest
@@ -3,12 +3,12 @@ Hash: SHA256
DIST polyml-5.5.0.tar.gz 12776783 SHA256 1ada41fba3f3cd5bb9b3e3dd1585e8576284e9a74ad7c4ddf88c020f716ec7dc SHA512 4d8accc7083e12a0117fb4e34367e9b22c500d31094d8f0e381b91e91a3e8122cb5ca760ecc86bdcf7ff50a460848a181747bafc068b4a300b01de54e55fbad7 WHIRLPOOL 2bc658af92f0b85ae8ba63d3f07caced91a335a3d5541e3988fa78147ef6f6c8713e479cde0ed41077621ead4b3d6eaca466a05d6d87d2f27d427299513d7033
EBUILD sha1-polyml-5.5.0.ebuild 2751 SHA256 fc4de8bd3315d9463e2041d1597993160084f2aa96c1e44613827cdd0919e0a0 SHA512 2697be2f88fa2037f4d2d9b7f92484f6156b0fba8b59bbc77353d288d0d7eaf6470f26300514e815b20b57d6bf2a9cd8d91e5772b6c080b3d65ab99e2b13f822 WHIRLPOOL 583fee8d64ab1a439dc97575819b4ff5e539cf65e6e732e806a13dd7120440feda9d8e0dc93f9a341a87eac4a88b810069a957bf831f95dfe50d6245ec3130fe
-MISC ChangeLog 415 SHA256 6883d0be8e27ff5b554301d6925e36662dcdc8bd6baf24730e97a7c29b3cf507 SHA512 67a58079bfefc70c5d8d2358712a987ae0259ee094c763816d3d27d91d221c47310257f0e054dcbfa300fadd58fda76c7bf8e55e11c49b748bba1a7684e7b7f0 WHIRLPOOL 95afffd7b72199a6e3c1e5d2796545a7c4dbf1cd9a79e6c0d9d0ac6b4c16cd7a8585ac388a8d6b9bdd97d5f90c727d76987cb83f6fff78fe27f251c8fc36ac55
-MISC metadata.xml 474 SHA256 9d8646303725a8fb3aecb540c175e6284b69824e9ecdd63dc203d93919f7c801 SHA512 86bd9c3851922c4cda00587550f78ca603fa8c08e0615674c90ae307074696e148f0cd9ae7c9c16335a8e44228edacd1d736a1de1d0c65004b10a94840aaa8d4 WHIRLPOOL 3d2ea086181916b160f26a4fc00b7b25f103b9d9fbce78f2034de5f1170db1a39180fc95c180e820217de00461567b5d3f768e47ec62f63a81b8722850f3c122
+MISC ChangeLog 518 SHA256 908f9789f16d1987fca80aa15b5c06c8700915f97a989943277bae3d16853a21 SHA512 73f775b6a34e94a15a43092edd0bafbfd0df3dca8278a345567119efc47465e337e210324cd042a7e1a22c9bdbcd9aafda4cb1f9ef0990a7d7c99cb86acf1387 WHIRLPOOL c8b791bc9e4c7c733fa13879f6c27d0c6867ee0baeb5bc1c7ba73dd27c1629cf03e9481f6135ea78f5c6d22b10553aa15d6f21eccd26df35e526fd5ab9599cb6
+MISC metadata.xml 500 SHA256 a0ae6dbd1649754c4d7ca0b14d90e47e417235fe55a37b214ee6d36ecb545aaa SHA512 1c6cfd34275683d2ffc015747a3e89757a3582157d5e07be9976a5d67c97cfd58b10a70845a93e2b71b8fd7ff9e0fdc74cde319ae99e6120abe553ce2ecb0e97 WHIRLPOOL e87a5f4d75ffd5c1b346e2502960f889c4054138abbf74db7f4929d8cc49c9db43334cfc25c6cbac3d6eb1ac4492c0c148722bb6119d6cd48eb261a35ccc60c6
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.19 (GNU/Linux)
-iF4EAREIAAYFAlDC9NIACgkQoBEVQmGOlx+LmgD9Fm9hpzs66KH6yM083psJbNz8
-PkZHVYJTIrg9rpNnRbQA/iilNHTFiuNdoni2vYzDezBITDgmqWTZ9RcBB8BCklK9
-=H6a+
+iF4EAREIAAYFAlGe/xYACgkQoBEVQmGOlx/7wAD/QStJNl881Q6N/gMGEcxM0fvf
+xvOxVReBK9YmqANAB7MA/201+5Pgy4fCKrshq5gJ28K0EmhN+48AsbqEhpLYdLA0
+=3qU8
-----END PGP SIGNATURE-----
diff --git a/sci-mathematics/sha1-polyml/metadata.xml b/sci-mathematics/sha1-polyml/metadata.xml
index 0f2ac3d8eb92..c3a2e907f34c 100644
--- a/sci-mathematics/sha1-polyml/metadata.xml
+++ b/sci-mathematics/sha1-polyml/metadata.xml
@@ -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'>
diff --git a/sci-mathematics/twelf/ChangeLog b/sci-mathematics/twelf/ChangeLog
index 3cb3db223719..fccde8be218d 100644
--- a/sci-mathematics/twelf/ChangeLog
+++ b/sci-mathematics/twelf/ChangeLog
@@ -1,6 +1,9 @@
# ChangeLog for sci-mathematics/twelf
-# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/twelf/ChangeLog,v 1.2 2012/12/12 13:12:19 gienah Exp $
+# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/twelf/ChangeLog,v 1.3 2013/05/24 05:51:46 gienah Exp $
+
+ 24 May 2013; Mark Wright <gienah@gentoo.org> metadata.xml:
+ fix bug 466776 - typo in email address
12 Dec 2012; Mark Wright <gienah@gentoo.org> twelf-1.7.1.ebuild:
twelf does not depend on omake. subslot dep in case any future ebuild depends
diff --git a/sci-mathematics/twelf/Manifest b/sci-mathematics/twelf/Manifest
index c02ff60894ac..bb71a9c1cea1 100644
--- a/sci-mathematics/twelf/Manifest
+++ b/sci-mathematics/twelf/Manifest
@@ -9,12 +9,12 @@ AUX twelf-1.7.1-emacs-twelf-init.patch 813 SHA256 e3f2ffa9dc7e6c1d05a23ede172199
AUX twelf-1.7.1-emacs-twelf.patch 602 SHA256 30a8fca3da1b64d06ecb7572c62f832fba7cb2c329d73f86aa74714eba8527ef SHA512 e5fd550210b7107fdafc27906dcb22318d1b0b6044d2502cfb968fb3b5d4baca5535cd6ae995638f38395d08641e59f5b87c76eac190653a6dad89bf52eb1a97 WHIRLPOOL 647290f3c6a42e5075baa78e6683a496b6e0472e0346e4ad85d91978f09c1d1137864452f7993e2a6bb99a6b24f4615099c4e8d09aa95deb53af483de37a6006
DIST twelf-src-1.7.1.tar.gz 1147610 SHA256 91b0d4d8c2e54452a042da0ff642f3b46b25efb36a84497aa8b96598f49a213a SHA512 1b4baa0f385b6b605583a9da312f23c775aab43e7398c6e151833a6b95c74112492530f44fcb7b14f8288774e9b63e2f9618a5debfbc4d34737bc2588f5850df WHIRLPOOL 231879beb66ff143acd3245c10b5e25a91994e67eb3b12aedd0e5a2378a94a2e1f3b29953b1ea24e98ca0063f27aff662cfdd1cea01163be435a6dbba1f0d2b9
EBUILD twelf-1.7.1.ebuild 2425 SHA256 7096d15d012ca2f1d8195f7fa6de607a7aa36ebeacf84eee0edc0de649253e34 SHA512 1a592ebb11662239593bf24977a829e5af2c40ca14ce6271a61c13ec0a18b6b629f3e74ed0000b349d30b4bfd61281e21d19ed06227687da6a2827d3d5833aee WHIRLPOOL 7ce71e14687feeb59b01162b0054299f2515efc072ab8d4097b01bdb594092124343056695b2a300af455e32a49db32f156df769831e954bf503a931c9739bfe
-MISC ChangeLog 760 SHA256 8392aa32bf59d9ef55e49eb78e177d2cba5d6c831a0217516655c598ac213c80 SHA512 4ec55e404542de28e036453d78bfd1eb346eed527582f5e2e36cd8638d06bfa68fcf30b5db1452e7d05762f07b03c31ac446f640798debb89fd457b8d1635ec5 WHIRLPOOL 68e80356f2dbbb35794a2f8ea4c0072b8fae39b2931a4e09cca03a38ea896cdb78c1ee138f5e8411feb3f5214fc95f6b9fa25f24b684f09ffdc44232f7ae5a89
-MISC metadata.xml 396 SHA256 d045f9992ddf5985a85a264e5dbad245c11bbf6dc5da3dea9bca082780583104 SHA512 49ce8e2a71c39ec22830e9cedfddfe573d94379b5d47baad9213258b71f385c55d75089874bb8528e67905a74acfe0835f88e2a49750e1b4a7322e9e044e38f0 WHIRLPOOL f9827d55e970247072b6067f9aca623b13668fa39bc45833299a820085bdcc9a5ba234439676a302b44880b9ab637378dee169e714f379a35496035456f3e8e4
+MISC ChangeLog 863 SHA256 40baaaab14437c6af96dad627f5a386ad8b1a6344a0e73e370fb97ff7998893a SHA512 26f0595a5be5d37729ad23ef5f34d36ff73ae74718d8373c2487055ca6840804d1b6996bc0c4ee20e430bc038790f5f21942f5db30543a1adff03bd15b2e8e78 WHIRLPOOL 0fe47bfc0263f3ce3c9bfdab5b5d178f902dacac9706b653bc5af5bad4153e220fc0d1dbfb8a9958ce51483aff6d5c48aafc6fede9bb8635ddf4c3a915e7e8df
+MISC metadata.xml 422 SHA256 095d37f2dbcb940225786f3551d22fbea8c255059098561e11a823af336b45e1 SHA512 fdfced11b9be43fcca2e2f09181c545a038c30df83a7372f2a8eceb20de7410d9684299111c90c8f360beb62e749bb225e295283b39331e73fa4e0d8e84b2dac WHIRLPOOL ce25499639ee73c8d5a2147c2768329c3ff7e273cf385146896b8b2e84004707570b936ac378c519928bc7ab372134fd8b6c495b9ced7ce4da581735c030f62f
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.19 (GNU/Linux)
-iF4EAREIAAYFAlDIgrsACgkQoBEVQmGOlx8GuQEAjhX4xClj2KJhjKAved6j7ysP
-VM1/iY0iKeU7AL23jXgA/3cY/36/TtXZZp/76zZzGamUh+x6awS8UD9u6A6D7hWI
-=jZVg
+iF4EAREIAAYFAlGe/1YACgkQoBEVQmGOlx8RrwEA3LnPbm3qJHqGADBSt/qKnRtz
+mjT2nJG1Tes1lacuwZgA/19loHn+0NSQJUDT4SPAJ/kQSlDcMlXx0ZK+TvqbyEH3
+=4iHU
-----END PGP SIGNATURE-----
diff --git a/sci-mathematics/twelf/metadata.xml b/sci-mathematics/twelf/metadata.xml
index 2313d6531936..6276cbc1b189 100644
--- a/sci-mathematics/twelf/metadata.xml
+++ b/sci-mathematics/twelf/metadata.xml
@@ -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>
<longdescription lang='en'>
Twelf is an implementation of the logical framework LF. It is used for