Austin Seipp 7d58646b08 z3/verifast: update license ... Signed-off-by: Austin Seipp <aseipp@pobox.com>		2014-05-01 19:09:24 -05:00
..
audio	Silence some Hydra evaluation warnings	2014-04-24 15:40:55 +02:00
display-managers	Ensure that slim's theme applies to slimlock	2014-03-30 19:33:28 +02:00
editors	Merge pull request #2357 from Chaddai/texstudio	2014-05-01 13:06:06 +02:00
graphics	meshlab: fix build	2014-04-21 11:24:26 +02:00
ike	ike: use stdenv.lib.licenses.sleepycat	2014-03-24 19:58:36 -05:00
misc	qtbitcointrader: initial expression	2014-05-01 15:50:57 +02:00
networking	syncthing: Bump to 0.8.2.	2014-04-30 23:52:54 +02:00
office	libreoffice: fix build after mesa update	2014-05-01 13:08:05 +02:00
science	z3/verifast: update license	2014-05-01 19:09:24 -05: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	haskell-git-annex: update to version 5.20140421	2014-04-29 01:35:45 +02:00
video	Silence some Hydra evaluation warnings	2014-04-24 15:40:55 +02:00
virtualization	qemu: Apply patch for CVE-2014-0150, CVE-2014-2894	2014-04-28 14:37:46 +02:00
window-managers	xmonad-contrib: patch to fix build with GHC 7.8.2	2014-05-01 22:28:13 +02:00