diff options
| author |   François-Xavier Carton <fx.carton91@gmail.com> | 2022-05-07 18:15:12 +0200 |
|---|---|---|
| committer |   Maciej Barć <xgqt@gentoo.org> | 2022-05-07 18:50:25 +0200 |
| commit | 7a4a24d0168c9092f69cafa35ca1872d7e77e0de (patch) | |
| tree | b431b3de43114d72d6ff5c3d27c8cc527272f82f /sci-mathematics/why3/metadata.xml | |
| parent | app-containers/cri-tools: add 1.24.0 (diff) | |
| download | gentoo-7a4a24d0168c9092f69cafa35ca1872d7e77e0de.tar.gz gentoo-7a4a24d0168c9092f69cafa35ca1872d7e77e0de.tar.bz2 gentoo-7a4a24d0168c9092f69cafa35ca1872d7e77e0de.zip | |
sci-mathematics/why3: bump to 1.5.0
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
Closes: https://github.com/gentoo/gentoo/pull/25372
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
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> |