(library
 (name CoqUp)
 (public_name coqup))