Am Donnerstag, 18. Juni 2009 11:50 schrieb la...@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 -- To UNSUBSCRIBE, email to debian-haskell-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org