Re: shellcheck packaging

2014-06-23 Thread Helmut Grohne
Hi Joachim, On Mon, Jun 23, 2014 at 06:11:21PM -0700, Joachim Breitner wrote: > Thanks. The full packaging is now at > $ darcs get darcs.debian.org:/darcs/pkg-haskell/shellcheck Thanks for picking this up. When we spoke about it on IRC, it was mentioned that the shellcheck library package should

ChasingBottoms and QuickCheck-2.7

2014-06-23 Thread Joachim Breitner
Dear Nils, in order to upgrade Agda in Debian, we need to upgrade QuickCheck to 2.7. And one of the packages having a dependency < 2.7 on QuickCheck is ChasingBottoms. Would you mind doing an updated release of it to hackage? Joining stackage@ is, by the way, a very good way to stay on top of the

Re: Switch default to LLVM/Clang 3.4

2014-06-23 Thread Joachim Breitner
Hi, Am Dienstag, den 24.06.2014, 06:20 +1000 schrieb Erik de Castro Lopo: > > I was advised that haskell-llvm is somewhat dead by upstream, and > > haskell-llvm-general replaces it. Since nothing in Debian actually uses > > haskell-llvm, I propose to simply remove it. > > > > Any objections? Erik

Bug#752488: RM: haskell-llvm-base haskell-llvm -- ROM; Upstream maintenance status insufficient

2014-06-23 Thread Joachim Breitner
Package: ftp.debian.org Severity: normal -BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Hi, the LLVM bindings in haskell-llvm-base and haskell-llvm are not updated by upstream any more. They are not used by any other packages (originally, they were packaged as a dependency, but this has changed).

Re: shellcheck packaging

2014-06-23 Thread Joachim Breitner
Hi Helmut, Am Montag, den 23.06.2014, 23:13 +0200 schrieb Helmut Grohne: > I started packaging the non-Haskell bits for shellcheck and am providing > them as a starting point for a shellcheck package hoping that you'll > take this task. > > Please find a copyright file and a manual page attached.

shellcheck packaging

2014-06-23 Thread Helmut Grohne
Dear Haskell team, I started packaging the non-Haskell bits for shellcheck and am providing them as a starting point for a shellcheck package hoping that you'll take this task. Please find a copyright file and a manual page attached. The copyright file will need updating for the debian directory