Update HOL Light to rev 157
releaseTools: Add ‘aggregate’ function

An aggregate is a trivial build that depends on other builds.  This is
intended to provide a declarative replacement of Hydra's "view"
mechanism.

For instance, you can define an aggregate named "critical" that
depends on a selected set of jobs:

  critical = releaseTools.aggregate
    { name = "foo-${tarball.version}";
      members =
        [ tarball
          build.x86_64-linux
          ...
        ];
      meta.description = "Release-critical builds";
    };

The "critical" build will only succeed if all its members
(dependencies) succeed.
Make Nixpkgs jobs unique

That is, there are now distinct jobs like ‘coreutils.x86_64-linux’ and
‘coreutils.x86_64-darwin’, rather than a single job ‘coreutils’ with
multiple builds.  This means that testing a job is simpler:

  $ nix-build pkgs/top-level/release.nix -A coreutils.x86_64-linux

See https://github.com/NixOS/hydra/issues/60 for the motivation.
Remove broken ‘removeList’ function
Only return Hydra jobs for supported platforms
eval-release.nix: Handle the new job structure

Now that we don't need to pass "system" arguments anymore, this thing
is *almost* obsolete.  (Except for the need to handle assertion
failures, you could just do "nix-instantiate --eval-only ..." on
release.nix.)
Add an "unstable" aggregate to replace the "unstable" view

Views are obsolete, aggregates are the declarative replacement.
Fix comment
release-lib.nix: Make the set of supported platforms an argument
iproute2: Update to 3.8.0
gimp: update from 2.8.2 to 2.8.4
nixUnstable: Bump
dropbox: add x86 support
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>