Update HOL Light to rev 157
Merge commit 'refs/top-bases/experimental/overlays' into experimental/overlays

* commit 'refs/top-bases/experimental/overlays':
  dropbox: add x86 support
  nixUnstable: Bump
  gimp: update from 2.8.2 to 2.8.4
  iproute2: Update to 3.8.0
  release-lib.nix: Make the set of supported platforms an argument
  Fix comment
  Add an "unstable" aggregate to replace the "unstable" view
  eval-release.nix: Handle the new job structure
  Only return Hydra jobs for supported platforms
  Remove broken ‘removeList’ function
  Make Nixpkgs jobs unique
  releaseTools: Add ‘aggregate’ function
  perl-GD: update to version 2.49 in a blind attempt to fix test suite failures on x86-linux
Merge branch 'experimental/overlays' into refs/top-bases/experimental/updates

* experimental/overlays:
  dropbox: add x86 support
  nixUnstable: Bump
  gimp: update from 2.8.2 to 2.8.4
  iproute2: Update to 3.8.0
  release-lib.nix: Make the set of supported platforms an argument
  Fix comment
  Add an "unstable" aggregate to replace the "unstable" view
  eval-release.nix: Handle the new job structure
  Only return Hydra jobs for supported platforms
  Remove broken ‘removeList’ function
  Make Nixpkgs jobs unique
  releaseTools: Add ‘aggregate’ function
  perl-GD: update to version 2.49 in a blind attempt to fix test suite failures on x86-linux
Merge branch 'experimental/overlays' into refs/top-bases/experimental/hack-nix

* experimental/overlays:
  dropbox: add x86 support
  nixUnstable: Bump
  gimp: update from 2.8.2 to 2.8.4
  iproute2: Update to 3.8.0
  release-lib.nix: Make the set of supported platforms an argument
  Fix comment
  Add an "unstable" aggregate to replace the "unstable" view
  eval-release.nix: Handle the new job structure
  Only return Hydra jobs for supported platforms
  Remove broken ‘removeList’ function
  Make Nixpkgs jobs unique
  releaseTools: Add ‘aggregate’ function
  perl-GD: update to version 2.49 in a blind attempt to fix test suite failures on x86-linux
Merge branch 'experimental/hack-nix' into refs/top-bases/experimental/updates

* experimental/hack-nix:
Merge commit 'refs/top-bases/experimental/hack-nix' into experimental/hack-nix

* commit 'refs/top-bases/experimental/hack-nix':
  dropbox: add x86 support
  nixUnstable: Bump
  gimp: update from 2.8.2 to 2.8.4
  iproute2: Update to 3.8.0
  release-lib.nix: Make the set of supported platforms an argument
  Fix comment
  Add an "unstable" aggregate to replace the "unstable" view
  eval-release.nix: Handle the new job structure
  Only return Hydra jobs for supported platforms
  Remove broken ‘removeList’ function
  Make Nixpkgs jobs unique
  releaseTools: Add ‘aggregate’ function
  perl-GD: update to version 2.49 in a blind attempt to fix test suite failures on x86-linux
Merge commit 'refs/top-bases/experimental/gimp-git' into experimental/gimp-git

* commit 'refs/top-bases/experimental/gimp-git':
  dropbox: add x86 support
  nixUnstable: Bump
  gimp: update from 2.8.2 to 2.8.4
  iproute2: Update to 3.8.0
  release-lib.nix: Make the set of supported platforms an argument
  Fix comment
  Add an "unstable" aggregate to replace the "unstable" view
  eval-release.nix: Handle the new job structure
  Only return Hydra jobs for supported platforms
  Remove broken ‘removeList’ function
  Make Nixpkgs jobs unique
  releaseTools: Add ‘aggregate’ function
  perl-GD: update to version 2.49 in a blind attempt to fix test suite failures on x86-linux
Merge branch 'experimental/gimp-git' into refs/top-bases/experimental/updates

* experimental/gimp-git:
  latest git version of gimp
Merge commit 'refs/top-bases/experimental/updates' into experimental/updates

* commit 'refs/top-bases/experimental/updates':
  latest git version of gimp
  dropbox: add x86 support
  nixUnstable: Bump
  gimp: update from 2.8.2 to 2.8.4
  iproute2: Update to 3.8.0
  release-lib.nix: Make the set of supported platforms an argument
  Fix comment
  Add an "unstable" aggregate to replace the "unstable" view
  eval-release.nix: Handle the new job structure
  Only return Hydra jobs for supported platforms
  Remove broken ‘removeList’ function
  Make Nixpkgs jobs unique
  releaseTools: Add ‘aggregate’ function
  perl-GD: update to version 2.49 in a blind attempt to fix test suite failures on x86-linux
Merge branch 'experimental/updates' into refs/top-bases/experimental/marc

* experimental/updates:
  latest git version of gimp
  dropbox: add x86 support
  nixUnstable: Bump
  gimp: update from 2.8.2 to 2.8.4
  iproute2: Update to 3.8.0
  release-lib.nix: Make the set of supported platforms an argument
  Fix comment
  Add an "unstable" aggregate to replace the "unstable" view
  eval-release.nix: Handle the new job structure
  Only return Hydra jobs for supported platforms
  Remove broken ‘removeList’ function
  Make Nixpkgs jobs unique
  releaseTools: Add ‘aggregate’ function
  perl-GD: update to version 2.49 in a blind attempt to fix test suite failures on x86-linux
Merge branch 'master' into refs/top-bases/experimental/php

* master:
  dropbox: add x86 support
  nixUnstable: Bump
  gimp: update from 2.8.2 to 2.8.4
  iproute2: Update to 3.8.0
  release-lib.nix: Make the set of supported platforms an argument
  Fix comment
  Add an "unstable" aggregate to replace the "unstable" view
  eval-release.nix: Handle the new job structure
  Only return Hydra jobs for supported platforms
  Remove broken ‘removeList’ function
  Make Nixpkgs jobs unique
  releaseTools: Add ‘aggregate’ function
  perl-GD: update to version 2.49 in a blind attempt to fix test suite failures on x86-linux
Merge commit 'refs/top-bases/experimental/multiple-versions-in-one-file' into experimental/multiple-versions-in-one-file

* commit 'refs/top-bases/experimental/multiple-versions-in-one-file':
  dropbox: add x86 support
  nixUnstable: Bump
  gimp: update from 2.8.2 to 2.8.4
  iproute2: Update to 3.8.0
  release-lib.nix: Make the set of supported platforms an argument
  Fix comment
  Add an "unstable" aggregate to replace the "unstable" view
  eval-release.nix: Handle the new job structure
  Only return Hydra jobs for supported platforms
  Remove broken ‘removeList’ function
  Make Nixpkgs jobs unique
  releaseTools: Add ‘aggregate’ function
  perl-GD: update to version 2.49 in a blind attempt to fix test suite failures on x86-linux
Merge branch 'experimental/multiple-versions-in-one-file' into refs/top-bases/experimental/php

* experimental/multiple-versions-in-one-file:
Merge commit 'refs/top-bases/experimental/php' into experimental/php

* commit 'refs/top-bases/experimental/php':
  dropbox: add x86 support
  nixUnstable: Bump
  gimp: update from 2.8.2 to 2.8.4
  iproute2: Update to 3.8.0
  release-lib.nix: Make the set of supported platforms an argument
  Fix comment
  Add an "unstable" aggregate to replace the "unstable" view
  eval-release.nix: Handle the new job structure
  Only return Hydra jobs for supported platforms
  Remove broken ‘removeList’ function
  Make Nixpkgs jobs unique
  releaseTools: Add ‘aggregate’ function
  perl-GD: update to version 2.49 in a blind attempt to fix test suite failures on x86-linux
Merge branch 'experimental/php' into refs/top-bases/experimental/marc

* experimental/php:
Merge commit 'refs/top-bases/experimental/opera' into experimental/opera

* commit 'refs/top-bases/experimental/opera':
  dropbox: add x86 support
  nixUnstable: Bump
  gimp: update from 2.8.2 to 2.8.4
  iproute2: Update to 3.8.0
  release-lib.nix: Make the set of supported platforms an argument
  Fix comment
  Add an "unstable" aggregate to replace the "unstable" view
  eval-release.nix: Handle the new job structure
  Only return Hydra jobs for supported platforms
  Remove broken ‘removeList’ function
  Make Nixpkgs jobs unique
  releaseTools: Add ‘aggregate’ function
  perl-GD: update to version 2.49 in a blind attempt to fix test suite failures on x86-linux
Merge branch 'experimental/opera' into refs/top-bases/experimental/marc

* experimental/opera:
Merge commit 'refs/top-bases/experimental/opencascade' into experimental/opencascade

* commit 'refs/top-bases/experimental/opencascade':
  dropbox: add x86 support
  nixUnstable: Bump
  gimp: update from 2.8.2 to 2.8.4
  iproute2: Update to 3.8.0
  release-lib.nix: Make the set of supported platforms an argument
  Fix comment
  Add an "unstable" aggregate to replace the "unstable" view
  eval-release.nix: Handle the new job structure
  Only return Hydra jobs for supported platforms
  Remove broken ‘removeList’ function
  Make Nixpkgs jobs unique
  releaseTools: Add ‘aggregate’ function
  perl-GD: update to version 2.49 in a blind attempt to fix test suite failures on x86-linux
Merge branch 'experimental/opencascade' into refs/top-bases/experimental/marc

* experimental/opencascade:
Merge commit 'refs/top-bases/experimental/nodejs' into experimental/nodejs

* commit 'refs/top-bases/experimental/nodejs':
  dropbox: add x86 support
  nixUnstable: Bump
  gimp: update from 2.8.2 to 2.8.4
  iproute2: Update to 3.8.0
  release-lib.nix: Make the set of supported platforms an argument
  Fix comment
  Add an "unstable" aggregate to replace the "unstable" view
  eval-release.nix: Handle the new job structure
  Only return Hydra jobs for supported platforms
  Remove broken ‘removeList’ function
  Make Nixpkgs jobs unique
  releaseTools: Add ‘aggregate’ function
  perl-GD: update to version 2.49 in a blind attempt to fix test suite failures on x86-linux