diff options
| author | JackBoosY <yuzaiyang@beyondsoft.com> | 2019-05-21 04:31:25 +0000 |
|---|---|---|
| committer | JackBoosY <yuzaiyang@beyondsoft.com> | 2019-05-21 04:31:57 +0000 |
| commit | 7bd2e96ada69a407921eb900259190f363a6fcc2 (patch) | |
| tree | fca9decd2b59206736b47a88c34d8103480a8fcb /ports/z3/CONTROL | |
| parent | ed612380878e8bf631e7d9f7434a75ca850f0101 (diff) | |
| download | vcpkg-7bd2e96ada69a407921eb900259190f363a6fcc2.tar.gz vcpkg-7bd2e96ada69a407921eb900259190f363a6fcc2.zip | |
[z3]Fix install files path and add tools.
Diffstat (limited to 'ports/z3/CONTROL')
| -rw-r--r-- | ports/z3/CONTROL | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ports/z3/CONTROL b/ports/z3/CONTROL index f06d776bb..9a64766a9 100644 --- a/ports/z3/CONTROL +++ b/ports/z3/CONTROL @@ -1,3 +1,3 @@ Source: z3 -Version: 4.8.4 +Version: 4.8.4-1 Description: An SMT solver |