(coq.theory
 (name thy1)
 (package cplugin)
 (synopsis "Test Plugin")
 (plugins cplugin.ml_plugin_b)
 (modules :standard))
