diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-02-14 11:36:24 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-02-14 11:36:24 +0000 |
| commit | 3a5772102e4f2b6f9cc46f461c90970060ae0c5e (patch) | |
| tree | d5aebb2508413a75408fd60bd4cb2c886b78ba89 /sci-mathematics/prover9 | |
| parent | f7379fa6ffb6e47eabc62d0d832a5bcad1db9591 (diff) | |
gentoo auto-resync : 14:02:2024 - 11:36:23
Diffstat (limited to 'sci-mathematics/prover9')
| -rw-r--r-- | sci-mathematics/prover9/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/prover9/metadata.xml | 4 |
2 files changed, 1 insertions, 5 deletions
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> |