Packaging Request: Prover

[Jerry James]

On Wed, Feb 11, 2009 at 11:09 AM, Christopher Brown
<snecklifter at gmail.com> wrote:
> Then we can remove it from:
>
> https://fedoraproject.org/wiki/PackageMaintainers/WishList#Formal_Methods_WishList
>
> No?

Yes, and also Coq, and Why / Caduceus / Krakatoa.  I'm working with
upstream on getting PVS to work on all supported arches.  Hopefully
that one will be ready for review soon.
-- 
Jerry James
http://loganjerry.googlepages.com/