FESCo Meeting Summary for 2008-08-20

Alex Lancaster alexl at users.sourceforge.net
Fri Aug 22 09:13:53 UTC 2008

>>>>> "KH" == Karsten Hopp  writes:


>> 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.
>> Rich.

KH> +1, please don't get discouraged when FESCo rejects a feature
KH> proposal.
KH> Rejecting something as a feature doesn't mean that the package
KH> isn't accepted into fedora. It just means that it doesn't met the
KH> requirements described in
KH> https://fedoraproject.org/wiki/Features/Policy/Definitions#Features.

Given FESCo's decision on this feature, I wonder how the Bioconductor
feature .   which packages a set of bioinformatics R add-on packages
would fare:


It's similar in spirit to Fedora Electronic Lab, although I don't have
any actual data, I suspect a slightly larger target audience than
Provers. I am helping Pierre-Yves (aka pingou) with this feature.


More information about the devel mailing list