Re: Any standards in packaging haskell libraries?

2009-06-19 Thread Erik de Castro Lopo
Iustin Pop wrote: > I've tried looking around, but http://pkg-haskell.alioth.debian.org/ > seems empty, and google didn't return anything more specific than > http://haskell.cs.yale.edu/haskellwiki/Creating_Debian_packages_from_Cabal_package I use something a little like the first method on that

Re: Any standards in packaging haskell libraries?

2009-06-19 Thread Iustin Pop
Hi, I still don't see this in sid, and neither an ITP for it. Are you planning to upload it, or is that package for your personal use only? thanks, iustin On Mon, Apr 20, 2009 at 10:41:57AM -0700, Clifford Beshers wrote: > I just packaged that using cabal-debian last week. The debian directory

Re: RFS: agda

2009-06-19 Thread Joachim Breitner
Hi, Am Freitag, den 19.06.2009, 15:02 +0100 schrieb Iain Lane: > I'm not particularly fussed about how it enters to be honest, but my > reasoning for putting it in the same source package is because the code is > only three lines long* and I didn't want to go for the overhead of NEW review > et

Re: RFS: agda

2009-06-19 Thread Iain Lane
On 19 Jun 2009, at 14:16, Marco Túlio Gontijo e Silva wrote: 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. (..

Re: RFS: agda

2009-06-19 Thread Marco Túlio Gontijo e Silva
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. > > >

Re: RFS: agda

2009-06-19 Thread Iain Lane
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. 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 d

Re: RFS: agda

2009-06-19 Thread Wolfgang Jeltsch
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