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