Proposed new feature: Provers
Miles Sabin
miles at milessabin.com
Fri Aug 8 06:41:47 UTC 2008
On Thu, Aug 7, 2008 at 10:18 PM, David A. Wheeler <dwheeler at 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
More information about the fedora-devel-list
mailing list