From 503e5c3f2780a01a01dfa0cde2146ecedca89602 Mon Sep 17 00:00:00 2001 From: Peter Simons Date: Tue, 19 Jun 2018 18:48:36 +0200 Subject: [PATCH] hackage2nix: boolector has an unfree license --- pkgs/development/haskell-modules/configuration-hackage2nix.yaml | 1 + 1 file changed, 1 insertion(+) diff --git a/pkgs/development/haskell-modules/configuration-hackage2nix.yaml b/pkgs/development/haskell-modules/configuration-hackage2nix.yaml index 5e389655cca7..d87a84c3c778 100644 --- a/pkgs/development/haskell-modules/configuration-hackage2nix.yaml +++ b/pkgs/development/haskell-modules/configuration-hackage2nix.yaml @@ -2652,6 +2652,7 @@ dont-distribute-packages: accelerate-fourier-benchmark: [ 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 ] + boolector: [ 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 ] cufft: [ i686-linux, x86_64-linux, x86_64-darwin ]