diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-05-12 16:42:50 +0300 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-05-12 16:42:50 +0300 |
commit | 752d6256e5204b958b0ef7905675a940b5e9172f (patch) | |
tree | 330d16e6362a49cbed8875a777fe641a43376cd3 /sci-mathematics/why3/metadata.xml | |
parent | 0c100b7dd2b30e75b799d806df4ef899fd98e1ea (diff) |
gentoo resync : 12.05.2022
Diffstat (limited to 'sci-mathematics/why3/metadata.xml')
-rw-r--r-- | sci-mathematics/why3/metadata.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sci-mathematics/why3/metadata.xml b/sci-mathematics/why3/metadata.xml index 9974e9e2b8a1..c8d6f06359fb 100644 --- a/sci-mathematics/why3/metadata.xml +++ b/sci-mathematics/why3/metadata.xml @@ -31,6 +31,7 @@ <flag name="gtk">Build the IDE <pkg>x11-libs/gtk+</pkg></flag> <flag name="re">Use Re (<pkg>dev-ml/re</pkg>) instead of Str for regular expressions</flag> <flag name="sexp">Add support for outputting S-expressions with <pkg>dev-ml/ppx_sexp_conv</pkg></flag> + <flag name="stackify">Enable structure reconstruction algorithm for MLCFG</flag> <flag name="zarith">Use Zarith (<pkg>dev-ml/zarith</pkg>) instead of Nums (<pkg>dev-ml/num</pkg>) for computations</flag> <flag name="zip">Enable compression of session files</flag> </use> |