>>>> "KH" == Karsten Hopp writes:
> It's very disappointing that this isn't considered a
> 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.