add missing patch for redis on OSX
Bumped kadu to v0.12.2 and its dependency libgadu to v1.11.2
Turn on Python plugin for vim_configurable by default

Python plugin for vim is turned on by default in ubuntu and other flavors of linux and mimicking
this in NixOS will help contribut to the impression that NixOS "just works."
Ion3 update to 20090110
Update HOL Light (and fix installation)
Updated sysprof from 1.0.12 to 1.2.0.

Updated the sysprof package. I've removed 1.0.12 because itwas failing to build.
It also allowed to simplify the expression because 1.2.0 no longer
includes a kernel module.
maintainers: add myself to the maintainers list
Merge pull request #218 from Davorak/master

Include Python for Vim by default in vim_configureable(pkgs.vimHugX)
Merge pull request #221 from Eelis/master

Ion3 update to 20090110
Merge pull request #217 from ppietrasa/master

kadu version bump
Merge pull request #212 from washort/redis

add missing patch for redis on OSX
Merge pull request #226 from maggesi/hol_light_updates

Update HOL Light (and fix installation)
Merge pull request #230 from Rotsor/sysperf

Updated sysprof from 1.0.12 to 1.2.0.
xkb_switch: command line tool to switch X keyboard layouts
Merge pull request #232 from ierton/xkb-switch

Xkb switch
Added Logisim-2.7.1.
Merge pull request #231 from RSzibele/master

Added Logisim 2.7.1
youtube-dl: update to version 2012.12.11

The new build comes with man page and bash completion installed.
haskell-hamlet: update to version 1.1.3.1
haskell-heist: update to version 0.10.2