Packaging Request: Prover

[Adam Miller]

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 at gmail.com> 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 at redhat.com
> 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