summary refs log tree commit diff
path: root/pkgs/development/haskell-modules
diff options
context:
space:
mode:
authorPeter Simons <simons@cryp.to>2018-06-19 18:48:36 +0200
committerPeter Simons <simons@cryp.to>2018-06-22 17:50:10 +0200
commit503e5c3f2780a01a01dfa0cde2146ecedca89602 (patch)
tree9dcfb50b1b3ab01169a0b11ff5886622902d0459 /pkgs/development/haskell-modules
parent2bd8148b951230cc3fb7dafc4875d9c065e11d3f (diff)
downloadnixlib-503e5c3f2780a01a01dfa0cde2146ecedca89602.tar
nixlib-503e5c3f2780a01a01dfa0cde2146ecedca89602.tar.gz
nixlib-503e5c3f2780a01a01dfa0cde2146ecedca89602.tar.bz2
nixlib-503e5c3f2780a01a01dfa0cde2146ecedca89602.tar.lz
nixlib-503e5c3f2780a01a01dfa0cde2146ecedca89602.tar.xz
nixlib-503e5c3f2780a01a01dfa0cde2146ecedca89602.tar.zst
nixlib-503e5c3f2780a01a01dfa0cde2146ecedca89602.zip
hackage2nix: boolector has an unfree license
Diffstat (limited to 'pkgs/development/haskell-modules')
-rw-r--r--pkgs/development/haskell-modules/configuration-hackage2nix.yaml1
1 files changed, 1 insertions, 0 deletions
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 ]