hackage2nix: boolector has an unfree license

This commit is contained in:
Peter Simons 2018-06-19 18:48:36 +02:00
parent 2bd8148b95
commit 503e5c3f27

View File

@ -2652,6 +2652,7 @@ dont-distribute-packages:
accelerate-fourier-benchmark: [ i686-linux, x86_64-linux, x86_64-darwin ] accelerate-fourier-benchmark: [ i686-linux, x86_64-linux, x86_64-darwin ]
accelerate-llvm-ptx: [ i686-linux, x86_64-linux, x86_64-darwin ] accelerate-llvm-ptx: [ i686-linux, x86_64-linux, x86_64-darwin ]
bindings-yices: [ i686-linux, x86_64-linux, x86_64-darwin ] bindings-yices: [ i686-linux, x86_64-linux, x86_64-darwin ]
boolector: [ i686-linux, x86_64-linux, x86_64-darwin ]
ccelerate-cuda: [ i686-linux, x86_64-linux, x86_64-darwin ] ccelerate-cuda: [ i686-linux, x86_64-linux, x86_64-darwin ]
cublas: [ i686-linux, x86_64-linux, x86_64-darwin ] cublas: [ i686-linux, x86_64-linux, x86_64-darwin ]
cufft: [ i686-linux, x86_64-linux, x86_64-darwin ] cufft: [ i686-linux, x86_64-linux, x86_64-darwin ]