Update HOL Light to rev 157
fetchsvn: Add ignoreExternals attribute.

There are some SVN repositories out there which don't have revision information
tied to externals. By using ignoreExternals, fetchsvn won't fetch these
externals anymore, so the fetch won't fail with a checksum mismatch, should
there be some changes in some of those external repositories.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
neko: Update to new upstream version 2.0.0.

This is required in order to support Haxe 3, but won't hurt (tested with a few
projects) even in Haxe 2.x.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
haxe: Use ignoreExternals and fix build.

Now, our builds shouldn't break anymore once there is a new change in ocamllibs.

I've used revision 256 from ocamllibs, because this was approximately the
revision we had back then when Haxe 2.10 got released.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
chromium: Fix updater for version 26 and newer.

The updater was actually getting the -lite version, which our expression won't
build with, except if we switch some bundled dependencies to those in nixpkgs.

Of course the problem with fetching version 27 was me being stupid and using a
case statement in the updater, as if there won't be any version after 26 ;-)

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
chromium: Remove patch for CLONE_DETACHED.

This patch was introduced before (7e5109a) the stdenv-updates merge and is no
longer needed, as the current C library doesn't use this flag anymore.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
chromium: Update all channels to latest versions.

stable: 25.0.1364.152 -> 26.0.1410.43 (builds fine, tested)
beta:   26.0.1410.28  -> 26.0.1410.43 (builds fine, tested)
dev:    26.0.1410.28  -> 27.0.1448.0  (build fixed and tested)

For version 27, this introduces a new dependency on libXtst and removes the
patch for siginfo_t and the pulseaudio array bounds error.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
python-deluge: Fix GUI support.

Actually only pyGtkGlade was missing in propagatedBuildInputs. In addition,
buildInputs is quite redundant in this case, so let's drop it.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
Add almir and it's dependencies.
add deluge to top-level packages
link bconsole to almir bin dir
beaker: skip tests as they fail
ipython: bump to 0.13.1

IPython 0.13.1: minor bugfix release for 0.13, on October 20, 2012. This
release includes 41 Pull Requests and closing 21 Issues backported from
0.14-dev, including significant fixes for ipcluster and Python 3.3
compatibility.
Merge pull request #414 from bjornfor/ipython-version-bump

ipython: bump to 0.13.1
Making wings work (it works with the old erlang).
ipython: modularize and enable more features

Add these new attributes (all default to true):

  notebookSupport
  qtconsoleSupport
  pylabSupport
  pylabQtSupport

This adds jinja2, matplotlib, pyqt4 and sip as new dependencies of
ipython.

This commit fixes "ipython --pylab" so that it no more errors out with
"ImportError: No module named matplotlib" (which was my initial goal).
darktable: Update to 1.1.4
Merge pull request #415 from bjornfor/ipython-pylab

ipython: modularize and enable more features
generate-cpan-package: Don't hard-code Eelco's environment

Signed-off-by: Shea Levy <shea@shealevy.com>
Add the DBIxClassHelpers package

Signed-off-by: Shea Levy <shea@shealevy.com>