diff options
| author | Aneesh Agrawal <aneeshusa@gmail.com> | 2016-09-10 16:57:11 -0400 |
|---|---|---|
| committer | Aneesh Agrawal <aneeshusa@gmail.com> | 2016-09-10 17:15:51 -0400 |
| commit | 54ff1184779419c91cb57d7a3a234a069fcdc592 (patch) | |
| tree | bcb7064cedb891d52cbc31d47130242f57aefe4f /pkgs/development/python-modules/python-sql | |
| parent | 0dbfb0fc48a19f1052afc052c68fe0ca6a3e77b5 (diff) | |
cryptol: Make Z3 available for REPL users
The Cryptol REPL has a hard dependency on Z3, but the rest of the
library uses SBV to support multiple solvers. Ensure that Z3 is
available for `pkgs.cryptol`, which is likely to be installed via
nix-env for REPL usage, but do not change pkgs.haskellPackages.cryptol,
which is likely to be used as a dependency (in Nix expressions).
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions