Austin Seipp 5aa4495cb5 boolector: add version 1.5 and 1.6 ... There are two versions here because beginning with 1.6.0, Boolector has a more restrictive, unfree license which disallows commercial use. As a result, Boolector 1.5 is the default 'boolector' expression. Signed-off-by: Austin Seipp <aseipp@pobox.com>		2014-04-07 09:17:05 -05: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	structured-haskell-mode: re-generate with latest cabal2nix	2014-03-31 23:10:56 +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	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.20140402	2014-04-06 21:53:16 +02:00
video	mpv: update from 0.3.2 to 0.3.7	2014-04-03 10:46:02 +03:00
virtualization	virt-manager: update to 1.0.1, fix & update dependencies, gtk3 support	2014-04-05 18:37:05 +02:00
window-managers	xmonad: fix build with ghc 7.8.1	2014-03-30 16:46:02 +02:00