(coq.theory
 (name Plugin)
 (package ml_lib)
 (synopsis "Test Plugin")
 (libraries ml_lib.ml_plugin_b)
 (modules :standard))
