added cadaver: a command-line WebDAV client for Unix
gtkpod: bump to 2.1.4
added meta information
Agda needs an older version of haskell-equivalence
idris: 0.9.14 -> 0.9.14.1
Updating octave to 3.8.1
Setting retroshare 0.6 as lowPrio, it's unstable.
Revert "Remove obsolete jackaudio version 1."

This reverts commit bdb77826d98544ab37741f740dd3516023924b27.

Jack1 is not obsolete and neither jack1 nor jack2 is called 'jackaudio'.

Q: What's the difference between Jack1 and Jack2?
A: http://trac.jackaudio.org/wiki/Q_differenc_jack1_jack2
add uTox
Merge pull request #3413 from svenkeidel/gtkpod

version bump gtkpod from 1.0.0 to 2.1.4
tor: update from 0.2.4.22 to 0.2.4.23
cadaver: change to platform.unix and specify licence (gpl2)
Merge pull request #3405 from wavewave/cadaver

added cadaver: a command-line WebDAV client for Unix
haskell-cgrep: update to version 6.4.5
Agda: update to version 2.4.0.2
haskell-xml-html-conduit-lens: add version 0.3.2.0
haskell-vty: update to version 5.1.4
idris: re-generate with cabal2nix
haskell-GLUtil: update to version 0.8
haskell-fay-base: update to version 0.19.2