Re: Anyone want to review and/or sponsor Coq package?

[David Timms <dtimms@xxxxxxxxxxxx>]

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... ;-)

--
fedora-devel-list mailing list
fedora-devel-list@xxxxxxxxxx
https://www.redhat.com/mailman/listinfo/fedora-devel-list