nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-10-03 13:30:36 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge master into staging-next

Browse Source
This commit is contained in:
github-actions[bot]
2023-12-10 06:00:56 +00:00
committed by GitHub
parent b5ff56aec7 584463c744
commit 39d4e1cb18
32 changed files with 406 additions and 74 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/development/compilers/solc/default.nix
View File

@@ -86,7 +86,7 @@ let
buildInputs = [ boost ]
++ lib.optionals z3Support [ z3 ]
++ lib.optionals cvc4Support [ cvc4 cln gmp ];
nativeCheckInputs = [ jq ncurses (python3.withPackages (ps: with ps; [ colorama deepdiff devtools docopt docutils requests sphinx tabulate z3 ])) ]; # contextlib2 glob2 textwrap3 traceback2 urllib3
nativeCheckInputs = [ jq ncurses (python3.withPackages (ps: with ps; [ colorama deepdiff devtools docopt docutils requests sphinx tabulate z3-solver ])) ]; # contextlib2 glob2 textwrap3 traceback2 urllib3
# tests take 60+ minutes to complete, only run as part of passthru tests
doCheck = false;