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
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
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
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.
(..
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.
> >
>
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
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