diff options
| author | JackBoosY <47264268+JackBoosY@users.noreply.github.com> | 2019-11-23 06:55:05 +0800 |
|---|---|---|
| committer | Victor Romero <romerosanchezv@gmail.com> | 2019-11-22 14:55:05 -0800 |
| commit | 776fcf76db997393381f0e0cc780491edc06aa34 (patch) | |
| tree | a1430c95023e72a6a23ec8b2b53e85d44c7ea47c /ports/z3/CONTROL | |
| parent | 1f092dd978502639b274eae6a8a4f653e3386391 (diff) | |
| download | vcpkg-776fcf76db997393381f0e0cc780491edc06aa34.tar.gz vcpkg-776fcf76db997393381f0e0cc780491edc06aa34.zip | |
[z3] Update to 4.8.6 (#8899)
* [z3]Upgrade to 4.8.6.
* [z3]Use `vcpkg_fail_port_install`.
Diffstat (limited to 'ports/z3/CONTROL')
| -rw-r--r-- | ports/z3/CONTROL | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/ports/z3/CONTROL b/ports/z3/CONTROL index 5a806da95..be11a9d7c 100644 --- a/ports/z3/CONTROL +++ b/ports/z3/CONTROL @@ -1,3 +1,4 @@ Source: z3 -Version: 4.8.5-1 -Description: An SMT solver +Version: 4.8.6 +Homepage: https://github.com/Z3Prover/z3 +Description: Z3 is a theorem prover from Microsoft Research.
\ No newline at end of file |