diff options
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/Manifest.gz | bin | 19145 -> 19143 bytes | |||
| -rw-r--r-- | sci-mathematics/prover9/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/prover9/metadata.xml | 4 | ||||
| -rw-r--r-- | sci-mathematics/sha1-polyml/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/sha1-polyml/metadata.xml | 4 | ||||
| -rw-r--r-- | sci-mathematics/twelf/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/twelf/metadata.xml | 5 | ||||
| -rw-r--r-- | sci-mathematics/z3/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/z3/metadata.xml | 3 |
9 files changed, 5 insertions, 19 deletions
diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz Binary files differindex 8f2357cf387f..db81125aef16 100644 --- a/sci-mathematics/Manifest.gz +++ b/sci-mathematics/Manifest.gz diff --git a/sci-mathematics/prover9/Manifest b/sci-mathematics/prover9/Manifest index 126706f95de8..7750d4278653 100644 --- a/sci-mathematics/prover9/Manifest +++ b/sci-mathematics/prover9/Manifest @@ -2,4 +2,4 @@ AUX LADR-2009-11A-manpages.patch 13832 BLAKE2B dfd8d0ba6722d788b4e7662c0c4113cc0 DIST LADR-2009-11A-makefile.patch.xz 4300 BLAKE2B 3ea0860901876c43aeadcee7cf7eca02c31c88ca6670c867ef4a41b9adc2aa13edf36f45807713f7b200355f5086b43a17722071be81f58af1bc5d70327e3e41 SHA512 c1d2e27d991036af24a29deb4401fbf9687415d2a37bebabb9cfc77d8672e0804d974f92cbd7b8e16c0a0c10b75831847f7b8ddb94244d7e632de7b1be5081f1 DIST LADR-2009-11A.tar.gz 1795750 BLAKE2B ed44b1d0f5f5f3c9846ff578af10914421c79f580db9f9002f105b87d7af49fb6f2956b70d2ebfbd17b3a230d1065aadb1cc798ef7ebdad8749e66cea41120b6 SHA512 f26d3713eb2ba809fb3d55ce179e9d91555ab9166e075aa0843bafe57ce00f153cfed178b61993d4fd471655840e4f40775d75dac9fb5242a67e5d59c970dfc7 EBUILD prover9-2009.11a.ebuild 2514 BLAKE2B 52b53007c8428c449b19c00324ddd3f84c9001bb9af2d453ea7b537348a5f6b48feb5a4ac6c000bd1a9e5b37317df4e6e0a58faa81332d440c36b48079ef4be9 SHA512 21d4294cb6ea5cbd1951751976e5872256e9e7de82e2b46f896efcbe5d5c7bc83321baaafbbefea59feabe77c2673b1a1cfed1daf0b806a498bc7ea90aa9aa9e -MISC metadata.xml 646 BLAKE2B ce224dcd77ce5cc0c35fb2e875d55ea3b6330788351e684a260366a38074e2f2723f3cf50df125870ef8b92c19211c058e839da5bcfa9b995f4a0cab5fe714b6 SHA512 9576daaf39718786f26094a1df45d2be853c1b62d6684e9d6973b7102f9972e4d4e19ae2fa7e5cc0fc98020d9bc92e059c33e63e6011670528cfa6cd7da8fa35 +MISC metadata.xml 535 BLAKE2B ba8d67e5b87bd740d24e591b21fdd1214ef0fcb2bb9442722c973fe1344b3d638b5aedbc332e74e82eb58fb16458343d22c752abaf2c913d49de89cf7b76e2f4 SHA512 f48643b65797eaa9f06513f41a54f857e349ef7ed111fb5611ef2741e4785dc33bb96be9405b6331b0a9c569e08eb1e6e0f104b8b6c8a0eb2593694ae3d6803d diff --git a/sci-mathematics/prover9/metadata.xml b/sci-mathematics/prover9/metadata.xml index aad6aebf1ecc..b94b0418005f 100644 --- a/sci-mathematics/prover9/metadata.xml +++ b/sci-mathematics/prover9/metadata.xml @@ -1,10 +1,6 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>gienah@gentoo.org</email> - <name>Mark Wright</name> - </maintainer> <maintainer type="project"> <email>sci-mathematics@gentoo.org</email> <name>Gentoo Mathematics Project</name> diff --git a/sci-mathematics/sha1-polyml/Manifest b/sci-mathematics/sha1-polyml/Manifest index f43cc4fbd438..afbaa6788208 100644 --- a/sci-mathematics/sha1-polyml/Manifest +++ b/sci-mathematics/sha1-polyml/Manifest @@ -1,3 +1,3 @@ DIST sha1-polyml-5.9.tar.gz 30801508 BLAKE2B d9a12b4a9734d2d663947e8699e6813b9c5f0a85f7527ebd73d578559ed4432a51ed8542733213c137c8235a2f6eebc28af77570c42234220d2993169340fd16 SHA512 da03c0759d633814b860fdc4051a010882b187444c0de1375f90e02ce26cb5e09cbbb48445da9f7d84d8af92352efcd9b509e863a915517e90e3fa6147bcbd0a EBUILD sha1-polyml-5.9.ebuild 1847 BLAKE2B 2dc294db23276cd95dd8bded6b8ea4759332efb48b281e63bdc558794d25b2d2e09c8505b0c07029d02aef12f69c1cbbf5f768bab04ae7b5e764404afa4d0407 SHA512 e0ef038e23cdccbcacd69b55f3c659e5b9057b9f2bdfb500ad08edb7535a9624121fe886cb6269f48d95a28dd731572fddcd4b9bb3cfc499018ede7165f4db25 -MISC metadata.xml 623 BLAKE2B 10d6f0f7075ed5fe3a84cf2b627a7db2fa99c661c6dba20e0e6a679cb91ff1d2bb2350fa4a53dcb03e44524664d911a1543cf79fd24888c17fa129125023452e SHA512 5c7cfa0defde48b45a36e672bea4de0e4d335c397e1627b195b6eaaa249502bd6e62e9ae727ade2489d60878125e3d29b5948c0ad83691d15870b86fa0d2a82a +MISC metadata.xml 512 BLAKE2B 6be1e91f54493df5ba1d0fe201e113ef1b22a2345c999f2a67fb521ae3ac099ee0aff0e0d4cc8c396026152d22842ed2251bbc6b7fa8fdfff77fe2108a9ddff6 SHA512 2001234a7ad65f8d8d060da22782ee7c4a501d8b829bf539e6d6088a885a5725f74cba5c0e2ad55ae07390d5d9d0994f28483ec02752c4aa09cc3cc34e512344 diff --git a/sci-mathematics/sha1-polyml/metadata.xml b/sci-mathematics/sha1-polyml/metadata.xml index f593001d1839..60e7f85a8dc5 100644 --- a/sci-mathematics/sha1-polyml/metadata.xml +++ b/sci-mathematics/sha1-polyml/metadata.xml @@ -1,10 +1,6 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>gienah@gentoo.org</email> - <name>Mark Wright</name> - </maintainer> <maintainer type="project"> <email>sci-mathematics@gentoo.org</email> <name>Gentoo Mathematics Project</name> diff --git a/sci-mathematics/twelf/Manifest b/sci-mathematics/twelf/Manifest index e78a7e736673..fcb0c8796695 100644 --- a/sci-mathematics/twelf/Manifest +++ b/sci-mathematics/twelf/Manifest @@ -12,4 +12,4 @@ AUX twelf-1.7.1-mlton-mlb.patch 11244 BLAKE2B e07adfd1520179a8ca3c292638689c8cc3 AUX twelf-1.7.1-remove-svnversion.patch 241 BLAKE2B f92db57c82d31fae8518d0a3947fd0ebf24ab06aa51fbf0e3a2b271eb30583904d5487f3f4b2605d5ca168f78ca7eed0fdcb4473604c4ae83a2807416341c99b SHA512 07bb5f88580dcb6ae722d7af98c58c96453871f8ce6eb107fbedafc6939a0d8871e3820e933cdc90aa6ca17d8909717f607e3819c34f5f852b7606a7680e7462 DIST twelf-src-1.7.1.tar.gz 1147610 BLAKE2B 9fbb3c5a4823845a0c721112744330658be0e68784ef209a3d17fb72874ef50d7dbb434a7104704a5540f2f0bc30727bfe1ff602f986570f944454e77c24609d SHA512 1b4baa0f385b6b605583a9da312f23c775aab43e7398c6e151833a6b95c74112492530f44fcb7b14f8288774e9b63e2f9618a5debfbc4d34737bc2588f5850df EBUILD twelf-1.7.1-r2.ebuild 2717 BLAKE2B 03351db21a04ed6555f7dd9b559d29ad03a10451a29740e92877d447c45da8baefc19256b8b8e0c98b7149dcde41cea25900249086fb460d955b75a5f0f9ef84 SHA512 2188bdc4a8299a0fd4dea45f3a3c9565ec2c546f7c895898190df7dd05545ca143658d6f4a5ec3bcdf4c5d4db6813e6f5a666da2b9f9ca50e320aad94b8ab73a -MISC metadata.xml 455 BLAKE2B b6129a72964285771e69465dcb9e4b1b5a7437530f946712ba6a64b5f7ae317400833cd54ffe6de02e84fdbc699dc9e56510b4fdd41b3b575ff5069d682c0293 SHA512 cc5dfa6dbd846c77784b59d2b71ea8613dc25f2af676db3bae8b5fad1a6bc45d56b74278451f449de2d13ca8c2cb6c651b6bf329aa59a192dcfed0832c0359f4 +MISC metadata.xml 373 BLAKE2B 850c000dae8d5cdd0725b5a998d7e3920c479af1a9afd5cb01874a7551bbcd8fff6a32fa50b74aa315a9cb3bd9471841def5874f528002f124e273e0b06b5c7e SHA512 0bd1b4a19e53f141a0c83a0a97a6d291b43da9fd6158ec869691c99d3efe7cc9179d214ef01ee04b60b51256be9d2f1d2b393978a9e55d06555655332f67fa8e diff --git a/sci-mathematics/twelf/metadata.xml b/sci-mathematics/twelf/metadata.xml index 62f2b95ec8fc..d4994fb246a4 100644 --- a/sci-mathematics/twelf/metadata.xml +++ b/sci-mathematics/twelf/metadata.xml @@ -1,10 +1,7 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>gienah@gentoo.org</email> - <name>Mark Wright</name> - </maintainer> + <!-- maintainer-needed --> <longdescription lang="en"> Twelf is an implementation of the logical framework LF. It is used for logic programming and for the formalization of programming language diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest index d3f57ae433b9..fa666b3e203c 100644 --- a/sci-mathematics/z3/Manifest +++ b/sci-mathematics/z3/Manifest @@ -1,3 +1,3 @@ DIST z3-4.12.5.tar.gz 5491803 BLAKE2B 9ad626386c73dea23b4a304312d5381be76b4c6b9aab4850568e4badd2a404cc7bf3f379490577b3acf8935f5bf8b39e241a8f85ed02819eb6d43785a9286e4a SHA512 b5055468d1380c54b959f826e10846c323c0ef73cf6bba0970e187c38cabd5869786261cd9b89a89d8369144417180870627782bf705e5494286dfe75053c9a7 EBUILD z3-4.12.5.ebuild 2600 BLAKE2B 6789454b941cdac35fc4dcccd28c96ec037f43b336dae6c1c186215bc6de573c26de842aa850e65504b74ca0ac02c58e848d1cf6223bff444c83a7c57090d255 SHA512 ead39d1799eb3c9651635ec2d3395f7a7ce018206c4491b7979a1e05fda7c2f5d95ed4712988ac087948c7cbfe370919c90ed1a60a9d6a7dae7e21b0de565a10 -MISC metadata.xml 1800 BLAKE2B 26b4fd829e8daf66cfb19f61afffe9535099260732b3856c400881e68dbc4c2ffe88ff57f3a23449a2259696f23969c6502d4f3432b9cafc2e89e99167c94b90 SHA512 92f05bb1617630c16801ae5ea4215436c4d5dde6890d1a9e90c81f8ce1cddf101b73e016d1ec67eb41ccb4b59753547e6d08ac6a70a5b2d3dc792dc9fba13166 +MISC metadata.xml 1718 BLAKE2B a94783909c12aa7dd2d5fd1f9d2fc75e20ca91b6abffd6dc020f602e57ef698f7184acaf14def4b6e21bb659e595abd44956ba37a679134d11b523103b0461df SHA512 ed375986a8010a7ae1eadab3107342126194a5513cbb22ce2064ffeff42c7184ea94f4f69017204c73bd61236847475cd1f0d8b3ba369236b26630dc8b2f46a2 diff --git a/sci-mathematics/z3/metadata.xml b/sci-mathematics/z3/metadata.xml index 5ab7254e6517..75c04a60e2f4 100644 --- a/sci-mathematics/z3/metadata.xml +++ b/sci-mathematics/z3/metadata.xml @@ -2,9 +2,6 @@ <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> <maintainer type="person"> - <email>gienah@gentoo.org</email> - </maintainer> - <maintainer type="person"> <email>mgorny@gentoo.org</email> </maintainer> <maintainer type="project"> |