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

Re: FESCo Meeting Summary for 2008-08-20

Richard W.M. Jones schrieb:
On Wed, Aug 20, 2008 at 08:29:12PM -0400, Brian Pepple wrote:
* FESCo voted against making the Prover(1) a feature, since they felt it
didn't meet the criteria(2) of being a new feature.  Note: This isn't to
say that this isn't a good thing, but they felt the target audience was
fairly limited.
     1. https://fedoraproject.org/wiki/Features/Provers
     2. https://fedoraproject.org/wiki/Features/Policy/Definitions

It's very disappointing that this isn't considered a feature, largely
(so it seems from the IRC log) because the target audience is
considered "very limited".

Although provers are used only by a few experts to check that software
is correct, the benefits of using formally checked software
(functions, data structures, libraries, etc.) accrue to all users of
that software.

I hope that David & others working on this don't get discouraged and
this work continues, perhaps as a Fedora SIG.


+1, please don't get discouraged when FESCo rejects a feature proposal.
Rejecting something as a feature doesn't mean that the package isn't accepted
into fedora. It just means that it doesn't met the requirements described in


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