diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-08-26 14:52:16 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-08-26 14:52:16 +0100 |
| commit | c3d998909264b1ff687b9c65cae3046443e66f7e (patch) | |
| tree | ed7aa279f601f6c46fb8b7425bd2a051b72be8d6 /sci-mathematics/cvc4/metadata.xml | |
| parent | cf91c70bb5a537972156006c46756b9ac75bdb7b (diff) | |
gentoo auto-resync : 26:08:2022 - 14:52:16
Diffstat (limited to 'sci-mathematics/cvc4/metadata.xml')
| -rw-r--r-- | sci-mathematics/cvc4/metadata.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/cvc4/metadata.xml b/sci-mathematics/cvc4/metadata.xml index 42b2bfab2e1a..685032332723 100644 --- a/sci-mathematics/cvc4/metadata.xml +++ b/sci-mathematics/cvc4/metadata.xml @@ -6,7 +6,7 @@ <name>Tupone Alfredo</name> </maintainer> <use> - <flag name="cln">Use sci-libs/cln</flag> + <flag name="cln">Use <pkg>sci-libs/cln</pkg></flag> <flag name="statistics">Include statistics</flag> <flag name="replay">Turn on the replay feature</flag> <flag name="proofs">Support for proof generation</flag> |