Hi. Em Sex, 2009-06-19 às 13:10 +0100, Iain Lane escreveu: > On 19 Jun 2009, at 08:13, Wolfgang Jeltsch wrote: > > > Am Donnerstag, 18. Juni 2009 11:50 schrieb la...@ubuntu.com: > >> I'm seeking a review/sponsor for my NEW package, Agda. (...) > > thanks a lot for packaging Agda for Debian. > > > > What does your Agda package contain? (...) > Here we have the library and the emacs interface, which is already > enough to do a great amount of work with Agda. I plan on packaging the > `agda' command line tool (available on hackage as Agda-executable) in > a -2 revision shortly after this one is uploaded
As it' from another Cabal source package, I don't think it should be packaged in the same Debian source package, but in another one. So, not in a -2 revision. Good morning. -- marcot http://marcot.iaaeee.org/ -- To UNSUBSCRIBE, email to debian-haskell-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
