diff options
| author | Stephen <stephengroat@users.noreply.github.com> | 2019-01-10 10:18:28 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-10 10:18:28 -0800 |
| commit | b838035d8c5708a01fdd152ed6a0988b68e455c1 (patch) | |
| tree | f12f6c1e915b865e5cac4e84c22d94f5d1130c4a | |
| parent | a3f8c8e12095b041d4e957deac058ac2982dea7a (diff) | |
| download | focaccia-miasm-b838035d8c5708a01fdd152ed6a0988b68e455c1.tar.gz focaccia-miasm-b838035d8c5708a01fdd152ed6a0988b68e455c1.zip | |
pin z3 to specific version
| -rw-r--r-- | optional_requirements.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/optional_requirements.txt b/optional_requirements.txt index e9a2d09f..d6a28948 100644 --- a/optional_requirements.txt +++ b/optional_requirements.txt @@ -1,2 +1,2 @@ pycparser -z3-solver +z3-solver==4.5.1.0 |