diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-01-04 01:27:12 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-01-04 01:27:12 +0000 |
| commit | 3517852e3b8a68d1e997770fc0650c5053bafc6c (patch) | |
| tree | 44068672445b1418489aed82de58df3c470289e7 /sci-mathematics/vampire | |
| parent | 0f15659d48c193027158492acb726297501202c5 (diff) | |
gentoo resync : 04.01.2022
Diffstat (limited to 'sci-mathematics/vampire')
| -rw-r--r-- | sci-mathematics/vampire/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/vampire/metadata.xml | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/sci-mathematics/vampire/Manifest b/sci-mathematics/vampire/Manifest index 4d3c9fa18d67..281766a081c1 100644 --- a/sci-mathematics/vampire/Manifest +++ b/sci-mathematics/vampire/Manifest @@ -1,3 +1,3 @@ DIST vampire-4.6.1.tar.gz 1511760 BLAKE2B 52ede8ac009379b15bc57b2ffe45965cbaf772f0e90bc619d859b85b77ce81eadbdd7ddae7c5e0e9cc69564a07f0abefa17109f7192e6afe634a5a929817fe92 SHA512 7ffeee64e9e4666344c0f9155c7e980920666813388416062cee89e43003fef5a8a54b8656cc42d2fa58b6fb3b87ef7f2c671bfc6787075df4058dcc3a1d46e1 EBUILD vampire-4.6.1.ebuild 1172 BLAKE2B 7dd2f6e829b0b0d827898f9e8fad4bb7b0419200a5a464d4cfd1494e930d4d89c99e1cfc331e2ef71d20fc7525483cd72d390466b8c6e611c5713b66fcdd5e15 SHA512 628f41b3193f6892e3e012aca9d337975e45320e7cd9921c95263ede37518fab08bf9a83c537cd7571247a1a1135af569c4be41158f488c041c629d9416e637f -MISC metadata.xml 993 BLAKE2B ac21215fc29f278d2678c39b250e1be3b765f0ed6896445de16e47d79467ca8b40a3f5b06d7b03bf206b82301ba6e26cd35767c82f10910b47adb447410f728d SHA512 f274deb71f13832f5809017e993c58c691e28efb6e30d413d0b5af496feb4c97e638dd56df4fc9f615dd02137dd287228c9b4150326145553c83bd39f7112334 +MISC metadata.xml 1019 BLAKE2B 0fe27792f7eb8e3cff02308012a69bbed5229dfbff94822896455464e0497d1c08327644acea04b0e84ab382679668754f4744af6b1906113f804b56cc38a90a SHA512 6e1fa1801cb7571421d9445d4ec514388973428345d2d4b7e371f7f2380a966a6d80ffbca38d8057145ee223288e7186c2b1dc3f5de0b1f54c53443ae97e0744 diff --git a/sci-mathematics/vampire/metadata.xml b/sci-mathematics/vampire/metadata.xml index 4785a01c9b05..b290952a34d5 100644 --- a/sci-mathematics/vampire/metadata.xml +++ b/sci-mathematics/vampire/metadata.xml @@ -2,9 +2,9 @@ <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>xgqt@gentoo.org</email> - <name>Maciej Barć</name> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> </maintainer> <longdescription> Vampire is a theorem prover, that is, a system able to prove theorems — |