[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]

Re: Proposed new feature: Provers



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 redhat com


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]