diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2017-10-29 11:22:34 +0000 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2017-10-29 11:22:34 +0000 |
commit | bd7908c6630f38067350d396ac5d18c3cc2434a0 (patch) | |
tree | 3559b3e11424f5529527f2474d8a977a91ee3389 /sci-mathematics/why3-for-spark/metadata.xml | |
parent | 8b2628ad8526c806375e7b157889e4274b70248b (diff) |
gentoo resync : 29.10.2017
Diffstat (limited to 'sci-mathematics/why3-for-spark/metadata.xml')
-rw-r--r-- | sci-mathematics/why3-for-spark/metadata.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sci-mathematics/why3-for-spark/metadata.xml b/sci-mathematics/why3-for-spark/metadata.xml index f73ffa40b698..dfc2bea31bd5 100644 --- a/sci-mathematics/why3-for-spark/metadata.xml +++ b/sci-mathematics/why3-for-spark/metadata.xml @@ -23,5 +23,6 @@ <flag name="hypothesis-selection">Enable hypothesis selection</flag> <flag name="profiling">Enable profiling</flag> <flag name="zarith">Use <pkg>dev-ml/zarith</pkg></flag> + <flag name="zip">Enable compression of session files</flag> </use> </pkgmetadata> |