On Mon, Jul 27, 2015 at 07:19:06 +0000, opensou...@till.name wrote:
The following packages did not build for two releases and will be retired before the Alpha Freeze, unless someone takes care of them. If you knowPackage (co)maintainers Status Change ============================================================== prover9 tcolles, dwheeler 62 weeks ago
prover9 has been fixed and rebuilt of f23 and f24. -- devel mailing list devel@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/devel Fedora Code of Conduct: http://fedoraproject.org/code-of-conduct
