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 @@ - - François-Xavier Carton - fx.carton91@gmail.com - + Build support for the Eva plugin 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 @@ - - François-Xavier Carton - fx.carton91@gmail.com - + 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 @@ - - François-Xavier Carton - fx.carton91@gmail.com - + 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 @@ - - François-Xavier Carton - fx.carton91@gmail.com - + 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 @@ - - François-Xavier Carton - fx.carton91@gmail.com - + 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 @@ - - François-Xavier Carton - fx.carton91@gmail.com - + 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 @@ - - François-Xavier Carton - fx.carton91@gmail.com - + 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 @@ - - François-Xavier Carton - fx.carton91@gmail.com - + 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 @@ - - François-Xavier Carton - fx.carton91@gmail.com - + 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 @@ - - François-Xavier Carton - fx.carton91@gmail.com - + 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 @@ - - François-Xavier Carton - fx.carton91@gmail.com - + 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 @@ - - François-Xavier Carton - fx.carton91@gmail.com - + 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 @@ - - François-Xavier Carton - fx.carton91@gmail.com - + 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 @@ - - François-Xavier Carton - fx.carton91@gmail.com - + 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 @@ - - François-Xavier Carton - fx.carton91@gmail.com - + 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 @@ - - François-Xavier Carton - fx.carton91@gmail.com - + 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 @@ - - François-Xavier Carton - fx.carton91@gmail.com - + 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 @@ - - François-Xavier Carton - fx.carton91@gmail.com - + 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 @@ - - François-Xavier Carton - fx.carton91@gmail.com - + 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 @@ - - François-Xavier Carton - fx.carton91@gmail.com - + 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 @@ - - François-Xavier Carton - fx.carton91@gmail.com - + 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 @@ - - François-Xavier Carton - fx.carton91@gmail.com - + 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 @@ - - François-Xavier Carton - fx.carton91@gmail.com - + 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 @@ - - François-Xavier Carton - fx.carton91@gmail.com - + 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 @@ - - François-Xavier Carton - fx.carton91@gmail.com - + 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 @@ - - François-Xavier Carton - fx.carton91@gmail.com - + 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 @@ - - François-Xavier Carton - fx.carton91@gmail.com - + 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 @@ - - François-Xavier Carton - fx.carton91@gmail.com - + 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 @@ - - François-Xavier Carton - fx.carton91@gmail.com - + 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 @@ - - François-Xavier Carton - fx.carton91@gmail.com - + 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