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

Re: Proposed new feature: Provers



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


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