Re: RFS: agda
Am Donnerstag, 18. Juni 2009 11:50 schrieb email@example.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.
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.