Re: RFS: agda

[Wolfgang Jeltsch <g9ks157k@acme.softbase.org>]

Am Donnerstag, 18. Juni 2009 11:50 schrieb laney@ubuntu.com:
> I'm seeking a review/sponsor for my NEW package, Agda. In case you don't
> know what it is, here's a paste from the long description which was in turn
> stolen from the cabal package description.

Hello,

thanks a lot for packaging Agda for Debian.

What does your Agda package contain? To my knowledge, Agda covers a library, a 
command line interface and an emacs interface. I’d be very happy if these 
three things would be packaged as separate Debian packages.

Best wishes,
Wolfgang