On Thu, Aug 7, 2008 at 10:18 PM, David A. Wheeler <dwheeler@xxxxxxxxxxxx> 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 -- fedora-devel-list mailing list fedora-devel-list@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/fedora-devel-list
