Author: kevin Update of /cvs/extras/rpms/coco-coq In directory cvs-int.fedora.redhat.com:/home/fedora/kevin/owners/tmpcvsg17049/rpms/coco-coq Log Message: Directory /cvs/extras/rpms/coco-coq added to the repository