Mathijs Kwik 593c633aa8 emacs-idris-mode: upgrade to support idris 0.9.12		2014-04-08 08:38:43 +02:00
..
audio	fix evaluation since 34301c8	2014-03-27 21:33:25 +01:00
display-managers	Ensure that slim's theme applies to slimlock	2014-03-30 19:33:28 +02:00
editors	emacs-idris-mode: upgrade to support idris 0.9.12	2014-04-08 08:38:43 +02:00
graphics	Fix gsettings schemas usage for several packages due to #1901	2014-04-06 11:02:21 +02:00
ike	ike: use stdenv.lib.licenses.sleepycat	2014-03-24 19:58:36 -05:00
misc	Merge pull request #2139 from lethalman/gnome3	2014-04-06 13:59:46 +02:00
networking	Merge pull request #2139 from lethalman/gnome3	2014-04-06 13:59:46 +02:00
office	Add zotero 4.0.19 (close #2043)	2014-03-27 22:42:47 +01:00
science	boolector: add version 1.5 and 1.6	2014-04-07 09:17:05 -05:00
search
taxes	Add aangifte-2013	2014-03-01 16:54:16 +01:00
version-management	haskell-git-annex: update to version 5.20140405	2014-04-07 17:06:34 +02:00
video	mpv: update from 0.3.2 to 0.3.7	2014-04-03 10:46:02 +03:00
virtualization	Bump Docker to v0.9.1. Tested pulling, committing, pushing.	2014-04-07 15:08:07 -05:00
window-managers	xmonad: fix build with ghc 7.8.1	2014-03-30 16:46:02 +02:00