Russell O'Connor 5bbcebf2db Bump coq version to 8.4pl4.		2014-05-12 22:17:00 -04:00
..
audio	setbfree: build the GUI	2014-05-11 12:51:29 +02:00
display-managers	Ensure that slim's theme applies to slimlock	2014-03-30 19:33:28 +02:00
editors	eclipse: add Eclipse IDE for C/C++ Developers 4.3.2	2014-05-05 22:39:37 +02:00
graphics	Merge pull request #2410 from pSub/potrace	2014-05-11 14:46:12 +02:00
ike	ike: use stdenv.lib.licenses.sleepycat	2014-03-24 19:58:36 -05:00
misc	taskwarrior: bump to 2.3.0 (close #2567)	2014-05-08 23:17:08 +02:00
networking	conkeror: upgrade to latest snapshot	2014-05-10 12:23:45 +02:00
office	zotero: version bump 4.0.19 -> 4.0.20 (close #2581)	2014-05-08 22:31:56 +02:00
science	Bump coq version to 8.4pl4.	2014-05-12 22:17:00 -04:00
search	Adding doodle.	2013-04-22 20:57:14 +04:00
taxes	Add aangifte-2013	2014-03-01 16:54:16 +01:00
version-management	Use the working source for GNU ARch	2014-05-03 00:20:08 +04:00
video	Merge pull request #2511 from AndersonTorres/aegisub-update	2014-05-05 10:52:45 +02:00
virtualization	Merge pull request #2484 from chexxor/feature/bump-docker-0.10.0	2014-05-11 10:33:43 +02:00
window-managers	Merge pull request #2371 from iyzsong/herbstluftwm	2014-05-11 10:31:14 +02:00