Re: RFS: agda
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 firstname.lastname@example.org:
> >> 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.