Packaging Request: Prover
Jerry James
loganjerry at gmail.com
Wed Feb 11 18:19:03 UTC 2009
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/
More information about the fedora-devel-list
mailing list