Proposed new feature: Provers

Jarod Wilson jwilson at redhat.com
Thu Aug 7 21:39:06 UTC 2008


On Thursday 07 August 2008 17:18:21 David A. Wheeler wrote:
> I've developed info on a new feature of Fedora 10, aka "Provers":
>  https://fedoraproject.org/wiki/Features/Provers
> Basically, I and others have packaged some key
> provers / solvers / formal methods tools.

As I understand it, this is primarily just a collection of new packages being 
added to Fedora, no? If so, and if you ask me, this really doesn't meet the 
criteria for a Feature. Its just new packages that are all targeted at a 
specific area of use.

-- 
Jarod Wilson
jwilson at redhat.com




More information about the devel mailing list