diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-02-22 19:32:10 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-02-22 19:34:04 +0100 |
| commit | 024840070aea8eb50149f8f9d97df53a3f1fb940 (patch) | |
| tree | 3d12a992db913f07148cfb090a5e23377c39e8f1 /sci-mathematics/lean/metadata.xml | |
| parent | sci-mathematics/lean: drop old 3.37.0 (diff) | |
| download | gentoo-024840070aea8eb50149f8f9d97df53a3f1fb940.tar.gz gentoo-024840070aea8eb50149f8f9d97df53a3f1fb940.tar.bz2 gentoo-024840070aea8eb50149f8f9d97df53a3f1fb940.zip | |
sci-mathematics/lean: remove USE=json and inherit of optfeature
Closes: https://bugs.gentoo.org/833900
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/lean/metadata.xml')
| -rw-r--r-- | sci-mathematics/lean/metadata.xml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/sci-mathematics/lean/metadata.xml b/sci-mathematics/lean/metadata.xml index f06c80c2d7be..ddb0be8a571c 100644 --- a/sci-mathematics/lean/metadata.xml +++ b/sci-mathematics/lean/metadata.xml @@ -14,7 +14,4 @@ <bugs-to>https://github.com/leanprover-community/lean/issues</bugs-to> <remote-id type="github">leanprover-community/lean</remote-id> </upstream> - <use> - <flag name="json"> Enable JSON support</flag> - </use> </pkgmetadata> |