Re: Packaging Request: Prover

[Adam Miller <maxamillion gmail com>]

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 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 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