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