FAQ Search Today's Posts Mark Forums Read
» Video Reviews

» Linux Archive

Linux-archive is a website aiming to archive linux email lists and to make them easily accessible for linux users/developers.


» Sponsor

» Partners

» Sponsor

Go Back   Linux Archive > Redhat > Fedora Development

 
 
LinkBack Thread Tools
 
Old 06-20-2008, 07:36 PM
"Alan Dunn"
 
Default Another reviewer for Coq package? Current one currently away

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@redhat.com
https://www.redhat.com/mailman/listinfo/fedora-devel-list
 

Thread Tools




All times are GMT. The time now is 10:12 PM.

VBulletin, Copyright ©2000 - 2014, Jelsoft Enterprises Ltd.
Content Relevant URLs by vBSEO ©2007, Crawlability, Inc.
Copyright 2007 - 2008, www.linux-archive.org