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