FESCo Meeting Summary for 2008-08-20
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.
KH> +1, please don't get discouraged when FESCo rejects a feature
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
Given FESCo's decision on this feature, I wonder how the Bioconductor
feature . which packages a set of bioinformatics R add-on packages
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