-----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----- -- fedora-devel-list mailing list fedora-devel-list@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/fedora-devel-list
