>>>>> "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: http://fedoraproject.org/wiki/Features/Bioconductor 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. Alex -- fedora-devel-list mailing list fedora-devel-list@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/fedora-devel-list
