(library
 (name Common)
 (public_name coqup.common))