Re: Proposed new feature: Provers

["Miles Sabin" <miles milessabin com>]

On Thu, Aug 7, 2008 at 10:18 PM, David A. Wheeler <dwheeler dwheeler com> wrote:
> Can anyone help us package some additional programs?
> Some potential ones include:

Would it be appropriate to add Agda2 to this list?

  http://appserv.cs.chalmers.se/users/ulfn/wiki/agda.php

I have a rough and ready .spec file, but taking it further has been
stalled waiting on the Haskell packaging guidelines and cabal-rpm to
be finalized.

Cheers,


Miles