commit: b22ec9eb1c3e7ee4343a970d567fea8501337803 Author: Lucio Sauer <watermanpaint <AT> posteo <DOT> net> AuthorDate: Mon Jun 23 06:58:03 2025 +0000 Commit: Lucio Sauer <watermanpaint <AT> posteo <DOT> net> CommitDate: Mon Jun 23 06:58:03 2025 +0000 URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=b22ec9eb
sci-mathematics/*: drop inactive maintainer Signed-off-by: Lucio Sauer <watermanpaint <AT> posteo.net> sci-mathematics/frama-c-aorai/metadata.xml | 5 +---- sci-mathematics/frama-c-callgraph/metadata.xml | 5 +---- sci-mathematics/frama-c-constant-folding/metadata.xml | 5 +---- sci-mathematics/frama-c-dive/metadata.xml | 5 +---- sci-mathematics/frama-c-e-acsl/metadata.xml | 5 +---- sci-mathematics/frama-c-eva/metadata.xml | 5 +---- sci-mathematics/frama-c-from/metadata.xml | 5 +---- sci-mathematics/frama-c-impact/metadata.xml | 5 +---- sci-mathematics/frama-c-inout/metadata.xml | 5 +---- sci-mathematics/frama-c-instantiate/metadata.xml | 5 +---- sci-mathematics/frama-c-loopanalysis/metadata.xml | 5 +---- sci-mathematics/frama-c-metrics/metadata.xml | 5 +---- sci-mathematics/frama-c-nonterm/metadata.xml | 5 +---- sci-mathematics/frama-c-obfuscator/metadata.xml | 5 +---- sci-mathematics/frama-c-occurrence/metadata.xml | 5 +---- sci-mathematics/frama-c-pdg/metadata.xml | 5 +---- sci-mathematics/frama-c-postdominators/metadata.xml | 5 +---- sci-mathematics/frama-c-printapi/metadata.xml | 5 +---- sci-mathematics/frama-c-qed/metadata.xml | 5 +---- sci-mathematics/frama-c-report/metadata.xml | 5 +---- sci-mathematics/frama-c-rtegen/metadata.xml | 5 +---- sci-mathematics/frama-c-scope/metadata.xml | 5 +---- sci-mathematics/frama-c-security-slicing/metadata.xml | 5 +---- sci-mathematics/frama-c-server/metadata.xml | 5 +---- sci-mathematics/frama-c-slicing/metadata.xml | 5 +---- sci-mathematics/frama-c-sparecode/metadata.xml | 5 +---- sci-mathematics/frama-c-studia/metadata.xml | 5 +---- sci-mathematics/frama-c-users/metadata.xml | 5 +---- sci-mathematics/frama-c-variadic/metadata.xml | 5 +---- sci-mathematics/frama-c/metadata.xml | 5 +---- 30 files changed, 30 insertions(+), 120 deletions(-) diff --git a/sci-mathematics/frama-c-aorai/metadata.xml b/sci-mathematics/frama-c-aorai/metadata.xml index 85760eeb55..30c042c394 100644 --- a/sci-mathematics/frama-c-aorai/metadata.xml +++ b/sci-mathematics/frama-c-aorai/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"> - <name>François-Xavier Carton</name> - <email>[email protected]</email> - </maintainer> + <!-- maintainer-needed --> <use> <flag name="eva">Build support for the Eva plugin</flag> </use> diff --git a/sci-mathematics/frama-c-callgraph/metadata.xml b/sci-mathematics/frama-c-callgraph/metadata.xml index 98412b0647..115e9d64a6 100644 --- a/sci-mathematics/frama-c-callgraph/metadata.xml +++ b/sci-mathematics/frama-c-callgraph/metadata.xml @@ -1,8 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";> <pkgmetadata> - <maintainer type="person"> - <name>François-Xavier Carton</name> - <email>[email protected]</email> - </maintainer> + <!-- maintainer-needed --> </pkgmetadata> diff --git a/sci-mathematics/frama-c-constant-folding/metadata.xml b/sci-mathematics/frama-c-constant-folding/metadata.xml index 98412b0647..115e9d64a6 100644 --- a/sci-mathematics/frama-c-constant-folding/metadata.xml +++ b/sci-mathematics/frama-c-constant-folding/metadata.xml @@ -1,8 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";> <pkgmetadata> - <maintainer type="person"> - <name>François-Xavier Carton</name> - <email>[email protected]</email> - </maintainer> + <!-- maintainer-needed --> </pkgmetadata> diff --git a/sci-mathematics/frama-c-dive/metadata.xml b/sci-mathematics/frama-c-dive/metadata.xml index 98412b0647..115e9d64a6 100644 --- a/sci-mathematics/frama-c-dive/metadata.xml +++ b/sci-mathematics/frama-c-dive/metadata.xml @@ -1,8 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";> <pkgmetadata> - <maintainer type="person"> - <name>François-Xavier Carton</name> - <email>[email protected]</email> - </maintainer> + <!-- maintainer-needed --> </pkgmetadata> diff --git a/sci-mathematics/frama-c-e-acsl/metadata.xml b/sci-mathematics/frama-c-e-acsl/metadata.xml index 98412b0647..115e9d64a6 100644 --- a/sci-mathematics/frama-c-e-acsl/metadata.xml +++ b/sci-mathematics/frama-c-e-acsl/metadata.xml @@ -1,8 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";> <pkgmetadata> - <maintainer type="person"> - <name>François-Xavier Carton</name> - <email>[email protected]</email> - </maintainer> + <!-- maintainer-needed --> </pkgmetadata> diff --git a/sci-mathematics/frama-c-eva/metadata.xml b/sci-mathematics/frama-c-eva/metadata.xml index 98412b0647..115e9d64a6 100644 --- a/sci-mathematics/frama-c-eva/metadata.xml +++ b/sci-mathematics/frama-c-eva/metadata.xml @@ -1,8 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";> <pkgmetadata> - <maintainer type="person"> - <name>François-Xavier Carton</name> - <email>[email protected]</email> - </maintainer> + <!-- maintainer-needed --> </pkgmetadata> diff --git a/sci-mathematics/frama-c-from/metadata.xml b/sci-mathematics/frama-c-from/metadata.xml index 98412b0647..115e9d64a6 100644 --- a/sci-mathematics/frama-c-from/metadata.xml +++ b/sci-mathematics/frama-c-from/metadata.xml @@ -1,8 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";> <pkgmetadata> - <maintainer type="person"> - <name>François-Xavier Carton</name> - <email>[email protected]</email> - </maintainer> + <!-- maintainer-needed --> </pkgmetadata> diff --git a/sci-mathematics/frama-c-impact/metadata.xml b/sci-mathematics/frama-c-impact/metadata.xml index 98412b0647..115e9d64a6 100644 --- a/sci-mathematics/frama-c-impact/metadata.xml +++ b/sci-mathematics/frama-c-impact/metadata.xml @@ -1,8 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";> <pkgmetadata> - <maintainer type="person"> - <name>François-Xavier Carton</name> - <email>[email protected]</email> - </maintainer> + <!-- maintainer-needed --> </pkgmetadata> diff --git a/sci-mathematics/frama-c-inout/metadata.xml b/sci-mathematics/frama-c-inout/metadata.xml index 98412b0647..115e9d64a6 100644 --- a/sci-mathematics/frama-c-inout/metadata.xml +++ b/sci-mathematics/frama-c-inout/metadata.xml @@ -1,8 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";> <pkgmetadata> - <maintainer type="person"> - <name>François-Xavier Carton</name> - <email>[email protected]</email> - </maintainer> + <!-- maintainer-needed --> </pkgmetadata> diff --git a/sci-mathematics/frama-c-instantiate/metadata.xml b/sci-mathematics/frama-c-instantiate/metadata.xml index 98412b0647..115e9d64a6 100644 --- a/sci-mathematics/frama-c-instantiate/metadata.xml +++ b/sci-mathematics/frama-c-instantiate/metadata.xml @@ -1,8 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";> <pkgmetadata> - <maintainer type="person"> - <name>François-Xavier Carton</name> - <email>[email protected]</email> - </maintainer> + <!-- maintainer-needed --> </pkgmetadata> diff --git a/sci-mathematics/frama-c-loopanalysis/metadata.xml b/sci-mathematics/frama-c-loopanalysis/metadata.xml index 98412b0647..115e9d64a6 100644 --- a/sci-mathematics/frama-c-loopanalysis/metadata.xml +++ b/sci-mathematics/frama-c-loopanalysis/metadata.xml @@ -1,8 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";> <pkgmetadata> - <maintainer type="person"> - <name>François-Xavier Carton</name> - <email>[email protected]</email> - </maintainer> + <!-- maintainer-needed --> </pkgmetadata> diff --git a/sci-mathematics/frama-c-metrics/metadata.xml b/sci-mathematics/frama-c-metrics/metadata.xml index 98412b0647..115e9d64a6 100644 --- a/sci-mathematics/frama-c-metrics/metadata.xml +++ b/sci-mathematics/frama-c-metrics/metadata.xml @@ -1,8 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";> <pkgmetadata> - <maintainer type="person"> - <name>François-Xavier Carton</name> - <email>[email protected]</email> - </maintainer> + <!-- maintainer-needed --> </pkgmetadata> diff --git a/sci-mathematics/frama-c-nonterm/metadata.xml b/sci-mathematics/frama-c-nonterm/metadata.xml index 98412b0647..115e9d64a6 100644 --- a/sci-mathematics/frama-c-nonterm/metadata.xml +++ b/sci-mathematics/frama-c-nonterm/metadata.xml @@ -1,8 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";> <pkgmetadata> - <maintainer type="person"> - <name>François-Xavier Carton</name> - <email>[email protected]</email> - </maintainer> + <!-- maintainer-needed --> </pkgmetadata> diff --git a/sci-mathematics/frama-c-obfuscator/metadata.xml b/sci-mathematics/frama-c-obfuscator/metadata.xml index 98412b0647..115e9d64a6 100644 --- a/sci-mathematics/frama-c-obfuscator/metadata.xml +++ b/sci-mathematics/frama-c-obfuscator/metadata.xml @@ -1,8 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";> <pkgmetadata> - <maintainer type="person"> - <name>François-Xavier Carton</name> - <email>[email protected]</email> - </maintainer> + <!-- maintainer-needed --> </pkgmetadata> diff --git a/sci-mathematics/frama-c-occurrence/metadata.xml b/sci-mathematics/frama-c-occurrence/metadata.xml index 98412b0647..115e9d64a6 100644 --- a/sci-mathematics/frama-c-occurrence/metadata.xml +++ b/sci-mathematics/frama-c-occurrence/metadata.xml @@ -1,8 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";> <pkgmetadata> - <maintainer type="person"> - <name>François-Xavier Carton</name> - <email>[email protected]</email> - </maintainer> + <!-- maintainer-needed --> </pkgmetadata> diff --git a/sci-mathematics/frama-c-pdg/metadata.xml b/sci-mathematics/frama-c-pdg/metadata.xml index 98412b0647..115e9d64a6 100644 --- a/sci-mathematics/frama-c-pdg/metadata.xml +++ b/sci-mathematics/frama-c-pdg/metadata.xml @@ -1,8 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";> <pkgmetadata> - <maintainer type="person"> - <name>François-Xavier Carton</name> - <email>[email protected]</email> - </maintainer> + <!-- maintainer-needed --> </pkgmetadata> diff --git a/sci-mathematics/frama-c-postdominators/metadata.xml b/sci-mathematics/frama-c-postdominators/metadata.xml index 98412b0647..115e9d64a6 100644 --- a/sci-mathematics/frama-c-postdominators/metadata.xml +++ b/sci-mathematics/frama-c-postdominators/metadata.xml @@ -1,8 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";> <pkgmetadata> - <maintainer type="person"> - <name>François-Xavier Carton</name> - <email>[email protected]</email> - </maintainer> + <!-- maintainer-needed --> </pkgmetadata> diff --git a/sci-mathematics/frama-c-printapi/metadata.xml b/sci-mathematics/frama-c-printapi/metadata.xml index 98412b0647..115e9d64a6 100644 --- a/sci-mathematics/frama-c-printapi/metadata.xml +++ b/sci-mathematics/frama-c-printapi/metadata.xml @@ -1,8 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";> <pkgmetadata> - <maintainer type="person"> - <name>François-Xavier Carton</name> - <email>[email protected]</email> - </maintainer> + <!-- maintainer-needed --> </pkgmetadata> diff --git a/sci-mathematics/frama-c-qed/metadata.xml b/sci-mathematics/frama-c-qed/metadata.xml index 98412b0647..115e9d64a6 100644 --- a/sci-mathematics/frama-c-qed/metadata.xml +++ b/sci-mathematics/frama-c-qed/metadata.xml @@ -1,8 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";> <pkgmetadata> - <maintainer type="person"> - <name>François-Xavier Carton</name> - <email>[email protected]</email> - </maintainer> + <!-- maintainer-needed --> </pkgmetadata> diff --git a/sci-mathematics/frama-c-report/metadata.xml b/sci-mathematics/frama-c-report/metadata.xml index 98412b0647..115e9d64a6 100644 --- a/sci-mathematics/frama-c-report/metadata.xml +++ b/sci-mathematics/frama-c-report/metadata.xml @@ -1,8 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";> <pkgmetadata> - <maintainer type="person"> - <name>François-Xavier Carton</name> - <email>[email protected]</email> - </maintainer> + <!-- maintainer-needed --> </pkgmetadata> diff --git a/sci-mathematics/frama-c-rtegen/metadata.xml b/sci-mathematics/frama-c-rtegen/metadata.xml index 98412b0647..115e9d64a6 100644 --- a/sci-mathematics/frama-c-rtegen/metadata.xml +++ b/sci-mathematics/frama-c-rtegen/metadata.xml @@ -1,8 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";> <pkgmetadata> - <maintainer type="person"> - <name>François-Xavier Carton</name> - <email>[email protected]</email> - </maintainer> + <!-- maintainer-needed --> </pkgmetadata> diff --git a/sci-mathematics/frama-c-scope/metadata.xml b/sci-mathematics/frama-c-scope/metadata.xml index 98412b0647..115e9d64a6 100644 --- a/sci-mathematics/frama-c-scope/metadata.xml +++ b/sci-mathematics/frama-c-scope/metadata.xml @@ -1,8 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";> <pkgmetadata> - <maintainer type="person"> - <name>François-Xavier Carton</name> - <email>[email protected]</email> - </maintainer> + <!-- maintainer-needed --> </pkgmetadata> diff --git a/sci-mathematics/frama-c-security-slicing/metadata.xml b/sci-mathematics/frama-c-security-slicing/metadata.xml index 98412b0647..115e9d64a6 100644 --- a/sci-mathematics/frama-c-security-slicing/metadata.xml +++ b/sci-mathematics/frama-c-security-slicing/metadata.xml @@ -1,8 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";> <pkgmetadata> - <maintainer type="person"> - <name>François-Xavier Carton</name> - <email>[email protected]</email> - </maintainer> + <!-- maintainer-needed --> </pkgmetadata> diff --git a/sci-mathematics/frama-c-server/metadata.xml b/sci-mathematics/frama-c-server/metadata.xml index 98412b0647..115e9d64a6 100644 --- a/sci-mathematics/frama-c-server/metadata.xml +++ b/sci-mathematics/frama-c-server/metadata.xml @@ -1,8 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";> <pkgmetadata> - <maintainer type="person"> - <name>François-Xavier Carton</name> - <email>[email protected]</email> - </maintainer> + <!-- maintainer-needed --> </pkgmetadata> diff --git a/sci-mathematics/frama-c-slicing/metadata.xml b/sci-mathematics/frama-c-slicing/metadata.xml index 98412b0647..115e9d64a6 100644 --- a/sci-mathematics/frama-c-slicing/metadata.xml +++ b/sci-mathematics/frama-c-slicing/metadata.xml @@ -1,8 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";> <pkgmetadata> - <maintainer type="person"> - <name>François-Xavier Carton</name> - <email>[email protected]</email> - </maintainer> + <!-- maintainer-needed --> </pkgmetadata> diff --git a/sci-mathematics/frama-c-sparecode/metadata.xml b/sci-mathematics/frama-c-sparecode/metadata.xml index 98412b0647..115e9d64a6 100644 --- a/sci-mathematics/frama-c-sparecode/metadata.xml +++ b/sci-mathematics/frama-c-sparecode/metadata.xml @@ -1,8 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";> <pkgmetadata> - <maintainer type="person"> - <name>François-Xavier Carton</name> - <email>[email protected]</email> - </maintainer> + <!-- maintainer-needed --> </pkgmetadata> diff --git a/sci-mathematics/frama-c-studia/metadata.xml b/sci-mathematics/frama-c-studia/metadata.xml index 98412b0647..115e9d64a6 100644 --- a/sci-mathematics/frama-c-studia/metadata.xml +++ b/sci-mathematics/frama-c-studia/metadata.xml @@ -1,8 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";> <pkgmetadata> - <maintainer type="person"> - <name>François-Xavier Carton</name> - <email>[email protected]</email> - </maintainer> + <!-- maintainer-needed --> </pkgmetadata> diff --git a/sci-mathematics/frama-c-users/metadata.xml b/sci-mathematics/frama-c-users/metadata.xml index 98412b0647..115e9d64a6 100644 --- a/sci-mathematics/frama-c-users/metadata.xml +++ b/sci-mathematics/frama-c-users/metadata.xml @@ -1,8 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";> <pkgmetadata> - <maintainer type="person"> - <name>François-Xavier Carton</name> - <email>[email protected]</email> - </maintainer> + <!-- maintainer-needed --> </pkgmetadata> diff --git a/sci-mathematics/frama-c-variadic/metadata.xml b/sci-mathematics/frama-c-variadic/metadata.xml index 98412b0647..115e9d64a6 100644 --- a/sci-mathematics/frama-c-variadic/metadata.xml +++ b/sci-mathematics/frama-c-variadic/metadata.xml @@ -1,8 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";> <pkgmetadata> - <maintainer type="person"> - <name>François-Xavier Carton</name> - <email>[email protected]</email> - </maintainer> + <!-- maintainer-needed --> </pkgmetadata> diff --git a/sci-mathematics/frama-c/metadata.xml b/sci-mathematics/frama-c/metadata.xml index 01095e3011..1ce8baccd3 100644 --- a/sci-mathematics/frama-c/metadata.xml +++ b/sci-mathematics/frama-c/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"> - <name>François-Xavier Carton</name> - <email>[email protected]</email> - </maintainer> + <!-- maintainer-needed --> <longdescription lang="en"> Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C. It gathers several static analysis techniques
