mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-04-07 03:10:15 -04:00
Code Issues Packages Projects Releases Wiki Activity

sci-mathematics/*: drop inactive maintainer

Browse Source 
Signed-off-by: Lucio Sauer <watermanpaint@posteo.net>
This commit is contained in:
Lucio Sauer
2025-06-23 08:58:03 +02:00
parent 68480a8cb9
commit b22ec9eb1c
30 changed files with 30 additions and 120 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
sci-mathematics/frama-c-aorai/metadata.xml
View File

@@ -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>fx.carton91@gmail.com</email>
</maintainer>
<!-- maintainer-needed -->
<use>
<flag name="eva">Build support for the Eva plugin</flag>
</use>

5
sci-mathematics/frama-c-callgraph/metadata.xml
View File

@@ -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>fx.carton91@gmail.com</email>
</maintainer>
<!-- maintainer-needed -->
</pkgmetadata>

5
sci-mathematics/frama-c-constant-folding/metadata.xml
View File

@@ -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>fx.carton91@gmail.com</email>
</maintainer>
<!-- maintainer-needed -->
</pkgmetadata>

5
sci-mathematics/frama-c-dive/metadata.xml
View File

@@ -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>fx.carton91@gmail.com</email>
</maintainer>
<!-- maintainer-needed -->
</pkgmetadata>

5
sci-mathematics/frama-c-e-acsl/metadata.xml
View File

@@ -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>fx.carton91@gmail.com</email>
</maintainer>
<!-- maintainer-needed -->
</pkgmetadata>

5
sci-mathematics/frama-c-eva/metadata.xml
View File

@@ -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>fx.carton91@gmail.com</email>
</maintainer>
<!-- maintainer-needed -->
</pkgmetadata>

5
sci-mathematics/frama-c-from/metadata.xml
View File

@@ -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>fx.carton91@gmail.com</email>
</maintainer>
<!-- maintainer-needed -->
</pkgmetadata>

5
sci-mathematics/frama-c-impact/metadata.xml
View File

@@ -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>fx.carton91@gmail.com</email>
</maintainer>
<!-- maintainer-needed -->
</pkgmetadata>

5
sci-mathematics/frama-c-inout/metadata.xml
View File

@@ -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>fx.carton91@gmail.com</email>
</maintainer>
<!-- maintainer-needed -->
</pkgmetadata>

5
sci-mathematics/frama-c-instantiate/metadata.xml
View File

@@ -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>fx.carton91@gmail.com</email>
</maintainer>
<!-- maintainer-needed -->
</pkgmetadata>

5
sci-mathematics/frama-c-loopanalysis/metadata.xml
View File

@@ -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>fx.carton91@gmail.com</email>
</maintainer>
<!-- maintainer-needed -->
</pkgmetadata>

5
sci-mathematics/frama-c-metrics/metadata.xml
View File

@@ -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>fx.carton91@gmail.com</email>
</maintainer>
<!-- maintainer-needed -->
</pkgmetadata>

5
sci-mathematics/frama-c-nonterm/metadata.xml
View File

@@ -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>fx.carton91@gmail.com</email>
</maintainer>
<!-- maintainer-needed -->
</pkgmetadata>

5
sci-mathematics/frama-c-obfuscator/metadata.xml
View File

@@ -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>fx.carton91@gmail.com</email>
</maintainer>
<!-- maintainer-needed -->
</pkgmetadata>

5
sci-mathematics/frama-c-occurrence/metadata.xml
View File

@@ -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>fx.carton91@gmail.com</email>
</maintainer>
<!-- maintainer-needed -->
</pkgmetadata>

5
sci-mathematics/frama-c-pdg/metadata.xml
View File

@@ -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>fx.carton91@gmail.com</email>
</maintainer>
<!-- maintainer-needed -->
</pkgmetadata>

5
sci-mathematics/frama-c-postdominators/metadata.xml
View File

@@ -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>fx.carton91@gmail.com</email>
</maintainer>
<!-- maintainer-needed -->
</pkgmetadata>

5
sci-mathematics/frama-c-printapi/metadata.xml
View File

@@ -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>fx.carton91@gmail.com</email>
</maintainer>
<!-- maintainer-needed -->
</pkgmetadata>

5
sci-mathematics/frama-c-qed/metadata.xml
View File

@@ -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>fx.carton91@gmail.com</email>
</maintainer>
<!-- maintainer-needed -->
</pkgmetadata>

5
sci-mathematics/frama-c-report/metadata.xml
View File

@@ -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>fx.carton91@gmail.com</email>
</maintainer>
<!-- maintainer-needed -->
</pkgmetadata>

5
sci-mathematics/frama-c-rtegen/metadata.xml
View File

@@ -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>fx.carton91@gmail.com</email>
</maintainer>
<!-- maintainer-needed -->
</pkgmetadata>

5
sci-mathematics/frama-c-scope/metadata.xml
View File

@@ -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>fx.carton91@gmail.com</email>
</maintainer>
<!-- maintainer-needed -->
</pkgmetadata>

5
sci-mathematics/frama-c-security-slicing/metadata.xml
View File

@@ -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>fx.carton91@gmail.com</email>
</maintainer>
<!-- maintainer-needed -->
</pkgmetadata>

5
sci-mathematics/frama-c-server/metadata.xml
View File

@@ -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>fx.carton91@gmail.com</email>
</maintainer>
<!-- maintainer-needed -->
</pkgmetadata>

5
sci-mathematics/frama-c-slicing/metadata.xml
View File

@@ -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>fx.carton91@gmail.com</email>
</maintainer>
<!-- maintainer-needed -->
</pkgmetadata>

5
sci-mathematics/frama-c-sparecode/metadata.xml
View File

@@ -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>fx.carton91@gmail.com</email>
</maintainer>
<!-- maintainer-needed -->
</pkgmetadata>

5
sci-mathematics/frama-c-studia/metadata.xml
View File

@@ -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>fx.carton91@gmail.com</email>
</maintainer>
<!-- maintainer-needed -->
</pkgmetadata>

5
sci-mathematics/frama-c-users/metadata.xml
View File

@@ -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>fx.carton91@gmail.com</email>
</maintainer>
<!-- maintainer-needed -->
</pkgmetadata>

5
sci-mathematics/frama-c-variadic/metadata.xml
View File

@@ -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>fx.carton91@gmail.com</email>
</maintainer>
<!-- maintainer-needed -->
</pkgmetadata>

5
sci-mathematics/frama-c/metadata.xml
View File

@@ -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>fx.carton91@gmail.com</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