[pkgdb] coq (Fedora, 8) updated by kevin

Tue Jul 15 16:47:12 UTC 2008

Kevin Fenzi (kevin) added a Fedora 8 branch for coq
Kevin Fenzi (kevin) has set commit to Approved for cvsextras on coq (Fedora 8)
Kevin Fenzi (kevin) has set build to Approved for cvsextras on coq (Fedora 8)
Kevin Fenzi (kevin) has set checkout to Approved for cvsextras on coq (Fedora 8)
Kevin Fenzi (kevin) Approved cvsextras for commit access on coq (Fedora 8)

To make changes to this package see:
  https://admin.fedoraproject.org/pkgdb/packages/name/coq