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
..
all-packages.nix	boolector: add version 1.5 and 1.6	2014-04-07 09:17:05 -05:00
guile-2-test.nix
haskell-defaults.nix	haskell-defaults.nix: update reference to cabal-install 1.18.0.2	2014-03-13 11:45:05 +01:00
haskell-packages.nix	haskell-criterion: downgrade to hastache 0.5.1 to fix the build	2014-04-07 11:54:57 +02:00
make-tarball.nix	Fix updating of the tarball mirror	2014-02-19 13:58:42 +01:00
mingw.nix
node-packages-generated.nix	nodePackages: add react.js and update node-packages-generated.nix	2014-04-02 21:07:30 +02:00
node-packages.json	nodePackages: add react.js and update node-packages-generated.nix	2014-04-02 21:07:30 +02:00
node-packages.nix
perl-packages.nix	Make initrd and the kernel builds repeatable.	2014-04-05 08:41:06 +02:00
php-packages.nix	Add memcached php module.	2014-03-24 09:23:10 -04:00
platforms.nix
python-packages-generated.nix	python-suds: Add new package	2014-03-20 12:22:38 +01:00
python-packages.json	python-suds: Add new package	2014-03-20 12:22:38 +01:00
python-packages.nix	python-autopep8: new package	2014-04-04 16:48:10 +02:00
r-packages.nix
release-cross.nix
release-lib.nix
release-python.nix
release-small.nix	release: fix automake evaluation, broken in 5888f27c	2014-02-02 12:09:58 +01:00
release.nix	unstable job: don't depend on glib-tested yet (fails)	2014-02-22 10:38:13 +01:00