diff options
| author |   Sébastien Fabbro <bicatali@gentoo.org> | 2013-06-18 10:11:54 -0700 |
|---|---|---|
| committer | Sébastien Fabbro <bicatali@gentoo.org> | 2013-06-18 10:11:54 -0700 |
| commit | 94a47aba8632bc468ef26c88c57fd81b63e5f609 (patch) | |
| tree | cb6e17ab4b71db646a9aa1fc5dcef391a4b63a9b /sci-mathematics/why/metadata.xml | |
| parent | sci-physics/openmx upgraded to 3.7.3 with some openMP and MPI C/F90 juggling,... (diff) | |
| download | sci-94a47aba8632bc468ef26c88c57fd81b63e5f609.tar.gz sci-94a47aba8632bc468ef26c88c57fd81b63e5f609.tar.bz2 sci-94a47aba8632bc468ef26c88c57fd81b63e5f609.zip | |
big fixes of metadata and package sub-herd re-distribution
Diffstat (limited to 'sci-mathematics/why/metadata.xml')
| -rw-r--r-- | sci-mathematics/why/metadata.xml | 32 |
1 files changed, 14 insertions, 18 deletions
diff --git a/sci-mathematics/why/metadata.xml b/sci-mathematics/why/metadata.xml index 1aaaa1bfb..43f4d4f50 100644 --- a/sci-mathematics/why/metadata.xml +++ b/sci-mathematics/why/metadata.xml @@ -1,23 +1,19 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <herd>sci</herd> - <longdescription> - Why is a software verification platform. It contains a general-purpose - verification condition generator (VCG) which is used as a back-end - by other verification tools but it can also be used directly to verify - programs. It also provides Krakatoa, a tool or the verification of Java - programs and Caduceus, a tool for the verification of C programs. - </longdescription> - <maintainer> - <email>sci@gentoo.org</email> - </maintainer> - <use> - <flag name="apron">?apron?</flag> - <flag name="coq">?coq?</flag> - <flag name="gappa">?gappa?</flag> - <flag name="jessie">?jessie?</flag> - <flag name="gtk">?gtk?</flag> - <flag name="pff">?pff?</flag> +<herd>sci-mathematics</herd> +<longdescription> + Why is a software verification platform. It contains a general-purpose + verification condition generator (VCG) which is used as a back-end + by other verification tools but it can also be used directly to verify + programs. It also provides Krakatoa, a tool or the verification of Java + programs and Caduceus, a tool for the verification of C programs. +</longdescription> +<use> + <flag name="apron">Support for <pkg>sci-mathematics/apron</pkg></flag> + <flag name="coq">Support for <pkg>sci-mathematics/coq</pkg></flag> + <flag name="gappa">Support for <pkg>sci-mathematics/gappa</pkg></flag> + <flag name="jessie">Support for <pkg>sci-mathematics/frama-c</pkg></flag> + <flag name="pff">Support for <pkg>sci-mathematics/pff</pkg></flag> </use> </pkgmetadata> |