diff options
author | V3n3RiX <venerix@koprulu.sector> | 2021-10-20 10:22:14 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2021-10-20 10:22:14 +0100 |
commit | 46eedbedafdb0040c37884982d4c775ce277fb7b (patch) | |
tree | db33a91259730be84999e13a8d8168c799f50ac0 /dev-ml/ppx_tools/ppx_tools-6.4.ebuild | |
parent | e23a08d0c97a0cc415aaa165da840b056f93c997 (diff) |
gentoo resync : 20.10.2021
Diffstat (limited to 'dev-ml/ppx_tools/ppx_tools-6.4.ebuild')
-rw-r--r-- | dev-ml/ppx_tools/ppx_tools-6.4.ebuild | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/dev-ml/ppx_tools/ppx_tools-6.4.ebuild b/dev-ml/ppx_tools/ppx_tools-6.4.ebuild index 1d025b5dacda..b8c31373448b 100644 --- a/dev-ml/ppx_tools/ppx_tools-6.4.ebuild +++ b/dev-ml/ppx_tools/ppx_tools-6.4.ebuild @@ -15,3 +15,5 @@ LICENSE="MIT" SLOT="0/${PV}" KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86" IUSE="+ocamlopt" + +BDEPEND="dev-ml/cppo" |