(coq.theory
 (name a)
 (package cvendor2))
