Anyone want to review and/or sponsor Coq package?

[David Timms]

Alan Dunn wrote:
> Thanks to help the other day from the list, there is now a candidate
> Coq package for fedora:
> 
> https://bugzilla.redhat.com/show_bug.cgi?id=450323
Description: Review Request: coq - Coq proof management system

Coq is a formal proof management system. It allows for the 
determinations of alcohol percentage in moonshine distillations... ;-)