new package: data-flags
new package: hayland
Manual: Don't depend on the JSON options
options.json: Export as an object rather than a list

This makes it easier to look up options by name.
options.json: Filter out "visible" and "internal" attributes
haskellPackages.digestiveFunctorsAeson: Update to 1.1.12.1
haskellPackages.engineIo: Update to 1.2.1
imapfilter: update from 2.5.6 to 2.5.7
AgdaStdlib: update to 0.9

This should have really been updated with Agda itself.
agda-iowa-stdlib: mark as broken

The recent update of Agda breaks this, including the most recent SVN
checkout. I notified the author but marking as broken until a fix is
committed.
Use lib instead of pkgs.lib

Usage of pkgs.lib may cause infinite recursion
Attach a bunch of meta.branch info for the monitor

This should stop explicitly-versioned expressions from showing up in the
monitor as in need of update.
rustcMaster: Update from 0.12.0-pre-961-g93c85eb -> 0.12.0-pre-1166-g0047dbe
New package: stdman
stdman: improvements to package description
Merge pull request #5018 from ip1981/patch-1

Use lib instead of pkgs.lib
Merge pull request #4999 from drvirgilio/hayland

new package: hayland
consul: 0.4.0 -> 0.4.1
webkitgtk: fix build
GNOME 3.14