Packaging Request: Prover

[Mani A <a mani cms gmail com>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Can somebody package Prover and MACE4 for Fedora?

The former is a theorem prover, while the latter is typically used for
getting counter examples. (Installing from source is easy, but still
it makes sense as the packages have a large user base).

Best

A. Mani

-- 
A. Mani
Member, Cal. Math. Soc




-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)

iEYEARECAAYFAkmS490ACgkQunMISzvdfU4uNgCghu5ydYOFqApHupG8gRjriTHP
f4EAn1yoAJLYAtnXYZVLbhfv4yO22EF9
=BxBE
-----END PGP SIGNATURE-----