DEFINED_PHASES=compile install DEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] >=dev-ml/findlib-1.0.4-r1[ocamlopt?] DESCRIPTION=Plugin generating .mli interface files for plugin APIs for frama-c EAPI=7 HOMEPAGE=https://frama-c.com IUSE=+ocamlopt +ocamlopt KEYWORDS=~amd64 LICENSE=LGPL-2.1 RDEPEND=~sci-mathematics/frama-c-23.1:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] RESTRICT=strip SLOT=0 SRC_URI=https://frama-c.com/download/frama-c-23.1-Vanadium.tar.gz _eclasses_=findlib 49d5365fca4dea46f13825b9d763c89e multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 _md5_=ffe6e5fdb0f65d11c9d6a89331892337