5 files changed, 18 insertions, 18 deletions
diff --git a/sci-mathematics/lean/metadata.xml b/sci-mathematics/lean/metadata.xml
index 278e5b1a42a2..efbd9f15e639 100644
--- a/sci-mathematics/lean/metadata.xml
+++ b/sci-mathematics/lean/metadata.xml
@@ -2,11 +2,11 @@
 <!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 lang="en">
+  <longdescription>
     The Lean theorem prover is a proof assistant developed principally
     by Leonardo de Moura at Microsoft Research.
   </longdescription>
diff --git a/sci-mathematics/mathlib-tools/metadata.xml b/sci-mathematics/mathlib-tools/metadata.xml
index f91e58a755f7..9859ea5c8b42 100644
--- a/sci-mathematics/mathlib-tools/metadata.xml
+++ b/sci-mathematics/mathlib-tools/metadata.xml
@@ -2,11 +2,11 @@
 <!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 lang="en">
+  <longdescription>
     This package contains leanproject, a supporting tool for Lean mathlib.
     More info:
     - https://leanprover-community.github.io/toolchain.html#handling-dependencies
diff --git a/sci-mathematics/metamath/metadata.xml b/sci-mathematics/metamath/metadata.xml
index 824d79b7b66d..7107a9aad059 100644
--- a/sci-mathematics/metamath/metadata.xml
+++ b/sci-mathematics/metamath/metadata.xml
@@ -2,11 +2,11 @@
 <!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 lang="en">
+  <longdescription>
     Metamath is a tiny language that can express theorems in abstract
     mathematics, accompanied by proofs that can be verified by a computer
     program.
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 —
diff --git a/sci-mathematics/verit/metadata.xml b/sci-mathematics/verit/metadata.xml
index cd0a6cfe1019..de5342d8a613 100644
--- a/sci-mathematics/verit/metadata.xml
+++ b/sci-mathematics/verit/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>
     veriT is a SMT (Satisfiability Modulo Theories) solver. It is open-source,