Am Donnerstag, 18. Juni 2009 11:50 schrieb [email protected]: > 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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
