On Thu, Aug 7, 2008 at 10:18 PM, David A. Wheeler <dwheeler(a)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