(coq.theory
 (mode vo)
 (name Common)
 (package example-coq)
 (modules Foo))
