A. Mani,
You have a URL to the project sites? I'd be willing to look
through the docs and the source of one or both and see if its
something I'd be interested in packaging and maintaining.
-Adam
On Wed, Feb 11, 2009 at 8:32 AM, Mani A <a.mani.cms@xxxxxxxxx> wrote:
> -----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
>
--
http://maxamillion.googlepages.com
---------------------------------------------------------
() ascii ribbon campaign - against html e-mail
/\ www.asciiribbon.org - against proprietary attachments
--
fedora-devel-list mailing list
fedora-devel-list@xxxxxxxxxx
https://www.redhat.com/mailman/listinfo/fedora-devel-list
