diff options
| author |   Alessandro Barbieri <lssndrbarbieri@gmail.com> | 2021-06-28 16:14:32 +0200 |
|---|---|---|
| committer | Alessandro Barbieri <lssndrbarbieri@gmail.com> | 2021-06-28 16:15:30 +0200 |
| commit | 9c848300337861a1b241f3aa2811ead4c3d0d2c9 (patch) | |
| tree | 6a364f8ad452329f0a86a167d2ee1e08de44c07c /sci-mathematics | |
| parent | */*: fix metadata (diff) | |
| download | guru-9c848300337861a1b241f3aa2811ead4c3d0d2c9.tar.gz guru-9c848300337861a1b241f3aa2811ead4c3d0d2c9.tar.bz2 guru-9c848300337861a1b241f3aa2811ead4c3d0d2c9.zip | |
*/*: add lang="en" to <longdescription>
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/frama-c/metadata.xml | 2 | ||||
| -rw-r--r-- | sci-mathematics/why3/metadata.xml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/frama-c/metadata.xml b/sci-mathematics/frama-c/metadata.xml index c4798f542..6f03ebab4 100644 --- a/sci-mathematics/frama-c/metadata.xml +++ b/sci-mathematics/frama-c/metadata.xml @@ -38,7 +38,7 @@ <flag name="variadic">Build the variadic plugin</flag> <flag name="wp">Build the WP plugin</flag> </use> - <longdescription> + <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 diff --git a/sci-mathematics/why3/metadata.xml b/sci-mathematics/why3/metadata.xml index 008bf6030..d64bca822 100644 --- a/sci-mathematics/why3/metadata.xml +++ b/sci-mathematics/why3/metadata.xml @@ -5,7 +5,7 @@ <name>François-Xavier Carton</name> <email>fx.carton91@gmail.com</email> </maintainer> - <longdescription> + <longdescription lang="en"> Why3 is a platform for deductive program verification. It provides a rich language for specification and programming, called WhyML, and relies on external theorem provers, both automated and interactive, |