Opam Package bap-primus-systems.2.2.0

Package info

opam-namebap-primus-systems
opam-version2.2.0
synopsisLoads Primus systems and registers them in the system repository
description The plugin installs, parses, and loads Primus systems. Primus System is a particular composition of components, i.e. a system is a Primus application that could be run.
authors
  • BAP Team
homepagehttps://github.com/BinaryAnalysisPlatform/bap/
licenseMIT
deps (6)
revdeps (1)
metas (1)
libraries (1)

Package modules

Package sources

bap-primus-systems

Package files

share/primus/core.asd
share/primus
lib/bap/primus_systems.plugin
lib/bap-plugin-primus_systems/primus_systems_plugin.cmxs
lib/bap-plugin-primus_systems/primus_systems_plugin.cmxa
lib/bap-plugin-primus_systems/primus_systems_plugin.cma
lib/bap-plugin-primus_systems/primus_systems_plugin.a
lib/bap-plugin-primus_systems/primus_systems_main.cmx
lib/bap-plugin-primus_systems/primus_systems_config.cmx
lib/bap-plugin-primus_systems/META
lib/bap-plugin-primus_systems