I'm looking for another reviewer for my Coq package - the one currently assigned (Richard W. M. Jones) is away for a few weeks and won't be able to look at it further until he returns. I've fixed the issues cited by him since he looked at the package, as documented on the bugzilla page: https://bugzilla.redhat.com/show_bug.cgi?id=450323 I still also need a sponsor, as this is my first Fedora package. For those interested - the description: Coq is a formal proof management system. It allows for the development of theorems through first order logic that are mechanically checked by the machine. Sets of definitions and theorems can be saved as compiled modules and loaded into the system. Coq is based off of OCaml. - Alan -- fedora-devel-list mailing list fedora-devel-list@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/fedora-devel-list
