(coq.theory
 (name Bar)
 (package global)
 (plugins global.plugin))
