[ACTION REQUIRED] FTBFS Packages in rawhide (2015-07-27)

[Bruno Wolff III]

On Mon, Jul 27, 2015 at 07:19:06 +0000,
  opensource at 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 know
>
>      Package              (co)maintainers       Status Change
>==============================================================
>prover9                tcolles, dwheeler         62 weeks ago

prover9 has been fixed and rebuilt of f23 and f24.