haskell-wai-extra: update to version 3.0.0.1
haskell-yesod-bin: update to version 1.2.11
haskell-yesod-core: update to version 1.2.17
haskell-yesod-form: update to version 1.3.11
haskell-yesod-test: update to version 1.2.3.1
haskell-keter: update to version 1.3.2
haskell-MonadCatchIO-mtl: jailbreak to support latest MonadCatchIO-transformers
haskell-MonadCatchIO-transformers: update to version 0.3.1.1
libgnome: fix build by adding missing libogg
libgnome: add libogg some more
python nose-1.3.3
Merge branch 'php-zmq' of git://github.com/proger/nixpkgs

php-packages: add zmq
Merge pull request #3026 from ttuegel/zotero

Update zotero 4.0.20 -> 4.0.21.1
Merge pull request #3019 from matejc/syncthing0815

syncthing: update from 0.8.11 to 0.8.15
Implement per-user socket units
proofgeneral_4_3_pre: Add expression needed for current prooftree
haskell-free-operational: Remove expression
hoogle-local: Add patch based on main hoogle expression
proofgeneral: Delete default.nix for proofgeneral
emacs-modes-emms, emacs-modes-org: Relax platform qualifier