diff options
Diffstat (limited to 'sci-mathematics/frama-c/metadata.xml')
| -rw-r--r-- | sci-mathematics/frama-c/metadata.xml | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/sci-mathematics/frama-c/metadata.xml b/sci-mathematics/frama-c/metadata.xml index e9441c0aff8b..1ce8baccd342 100644 --- a/sci-mathematics/frama-c/metadata.xml +++ b/sci-mathematics/frama-c/metadata.xml @@ -1,7 +1,8 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <longdescription lang="en"> + <!-- 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 in a single collaborative framework. The collaborative approach of @@ -10,6 +11,4 @@ computed by other analyzers in the framework. Thanks to this approach, Frama-C provides sophisticated tools, such as a slicer and dependency analysis. </longdescription> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file +</pkgmetadata> |