On Mon, Jul 27, 2015 at 07:19:06 +0000,
opensource@xxxxxxxxx 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 know
Package (co)maintainers Status Change
==============================================================
prover9 tcolles, dwheeler 62 weeks ago
prover9 has been fixed and rebuilt of f23 and f24.
--
devel mailing list
devel@xxxxxxxxxxxxxxxxxxxxxxx
https://admin.fedoraproject.org/mailman/listinfo/devel
Fedora Code of Conduct: http://fedoraproject.org/code-of-conduct
