diff options
Diffstat (limited to 'sci-mathematics/why/metadata.xml')
| -rw-r--r-- | sci-mathematics/why/metadata.xml | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/sci-mathematics/why/metadata.xml b/sci-mathematics/why/metadata.xml index 8098c5667..1aaaa1bfb 100644 --- a/sci-mathematics/why/metadata.xml +++ b/sci-mathematics/why/metadata.xml @@ -1,23 +1,23 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <herd>sci</herd> - <longdescription> + <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> - </use> + <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> + </use> </pkgmetadata> |