Re: Packaging Request: Prover

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On Wed, Feb 11, 2009 at 11:09 AM, Christopher Brown
<snecklifter@xxxxxxxxx> 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/

-- 
fedora-devel-list mailing list
fedora-devel-list@xxxxxxxxxx
https://www.redhat.com/mailman/listinfo/fedora-devel-list

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Index of Archives]     [Fedora Announce]     [Fedora Kernel]     [Fedora Testing]     [Fedora Formulas]     [Fedora PHP Devel]     [Kernel Development]     [Fedora Legacy]     [Fedora Maintainers]     [Fedora Desktop]     [PAM]     [Red Hat Development]     [Gimp]     [Yosemite News]
  Powered by Linux