Re: RFS: agda
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 laney@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/
Reply to: