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
