John Wiegley 3b267d77a8 Merge pull request #3031 from jwiegley/proofgeneral ... proofgeneral_4_3_pre: Add expression needed for current prooftree		2014-06-21 09:22:29 -07:00
..
audio	add xmp 4.0.7	2014-06-10 12:07:41 +08:00
display-managers	berlios.de probably shut down, replace it	2014-05-18 13:30:27 +02:00
editors	Merge pull request #3031 from jwiegley/proofgeneral	2014-06-21 09:22:29 -07:00
graphics	Adding an auto-updater script for qiv and updating it to 2.3.1	2014-06-13 13:37:12 +04:00
ike	ike: use stdenv.lib.licenses.sleepycat	2014-03-24 19:58:36 -05:00
misc	sweethome3d: remove '.' at end of description	2014-06-15 13:49:55 +02:00
networking	retroshare: place plugins at proper place	2014-06-21 15:53:57 +02:00
office	Update zotero 4.0.20 -> 4.0.21.1	2014-06-20 08:00:06 -05:00
science	haskell-sloane: update to version 1.8	2014-06-13 15:41:25 +02: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	git-annex: Build on Darwin, let Cabal determine proper flags	2014-06-21 09:20:46 -07:00
video	xbmc: 13.0 -> 13.1	2014-06-09 20:42:57 +02:00
virtualization	qemu: 1.7.1 -> 2.0.0	2014-05-18 15:52:44 -05:00
window-managers	Update Awesome WM to 3.5.5	2014-05-14 12:25:26 -06:00