reptyr: version 0.5

Signed-off-by: Austin Seipp <aseipp@pobox.com>
spark: version 0.9.0

Signed-off-by: Austin Seipp <aseipp@pobox.com>
ktap: add v0.5-dev from git

Signed-off-by: Austin Seipp <aseipp@pobox.com>
haskellPackages.singletons: New expression

Haddock's are disabled for the singletons library as it can't yet
understand some of the extensions that this library uses.
cb0cat: version 20131216153906

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Byte-compile Agda's elisp files
androidsdk: only create AVD if needed + some fixes
Merge pull request #1793 from thoughtpolice/reptyr

reptyr: version 0.5
Merge pull request #1822 from thoughtpolice/spark

spark: version 0.9.0
Merge pull request #1824 from thoughtpolice/ktap

ktap: add v0.5-dev from git
Merge pull request #1848 from thoughtpolice/cb0cat

cb0cat: version 20131216153906
Remove lib.typeOf

It clashes with builtins.typeOf.
androidsdk: fix activity launching
paxctl: Use http instead of https

This is needed since paxctl is going to be added to stdenv but
early stdenv curl does not support https.
gnome3: Setup hook for gdk-pixbuf and gnome-icon-theme

Add necessary paths to the environment so that
applications can find icons.
doc: gdk-pixbuf setup-hook
gnome3 apps: correctly render icons
doc: gstreamer setup-hook
add gstreamer 1.0 setup-hook and use it where appropriate
fix eval