commit: c7e2fc52559882476a1f10d39dedf4fc4bf6c6a6 Author: Jauhien Piatlicki <jauhien <AT> gentoo <DOT> org> AuthorDate: Tue Sep 2 20:38:13 2014 +0000 Commit: Jauhien Piatlicki <jauhien <AT> gentoo <DOT> org> CommitDate: Tue Sep 2 20:38:13 2014 +0000 URL: http://sources.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=c7e2fc52
sci-mathematics/why: silence repoman, fix metadata.xml --- sci-mathematics/why/metadata.xml | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/sci-mathematics/why/metadata.xml b/sci-mathematics/why/metadata.xml index a777c26..d1a5308 100644 --- a/sci-mathematics/why/metadata.xml +++ b/sci-mathematics/why/metadata.xml @@ -9,4 +9,14 @@ 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'>Use <pkg>sci-mathematics/apron</pkg> library for + abstract interpretation</flag> + <flag name='coq'>Add <pkg>sci-mathematics/coq</pkg> support</flag> + <flag name='float'>Add <pkg>sci-mathematics/flocq</pkg> support</flag> + <flag name='gappa'>Add <pkg>sci-mathematics/gappalib-coq</pkg> support</flag> + <flag name='frama-c'>Add <pkg>sci-mathematics/frama-c</pkg> support</flag> + <flag name='pff'>Add <pkg>sci-mathematics/pff</pkg> support</flag> + <flag name='why3'>Add <pkg>sci-mathematics/why3</pkg> support</flag> +</use> </pkgmetadata>
