diff options
| author |   Petr Vaněk <arkamar@atlas.cz> | 2022-08-25 23:41:00 +0200 |
|---|---|---|
| committer |   Sam James <sam@gentoo.org> | 2022-08-26 11:46:28 +0100 |
| commit | 4a9afda7605ad144df0c1d23e966fdc8aeec1e34 (patch) | |
| tree | 34e3fbdbcc50b638ae09eb76af3133b8ab84f534 /sci-mathematics/cvc4 | |
| parent | sci-libs/libsc: use <pkg> tag in metadata.xml (diff) | |
| download | gentoo-4a9afda7605ad144df0c1d23e966fdc8aeec1e34.tar.gz gentoo-4a9afda7605ad144df0c1d23e966fdc8aeec1e34.tar.bz2 gentoo-4a9afda7605ad144df0c1d23e966fdc8aeec1e34.zip | |
sci-mathematics/cvc4: use <pkg> tag in metadata.xml
Signed-off-by: Petr Vaněk <arkamar@atlas.cz>
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'sci-mathematics/cvc4')
| -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> |