vcpkg/ports/z3/LICENSE, branch aws-lambda-cpp Forked from https://github.com/microsoft/vcpkg [z3] Update to 4.8.10 to support arm triplet (#18104) 2021-06-01T19:14:39+00:00 Jack·Boos·Yu 47264268+JackBoosY@users.noreply.github.com 2021-06-01T19:14:39+00:00 e4e4ee9c9fff0a982a15afccc080a153a33803f2 * [z3] Update to 4.8.10 to support arm triplet * update version record 
* [z3] Update to 4.8.10 to support arm triplet

* update version record
 add Z3 package (#5564) 2019-03-09T03:00:48+00:00 Nuno Lopes nuno.lopes@ist.utl.pt 2019-03-09T03:00:48+00:00 45fadafed080b6b7704ce635fc1c4276d0109f0b * add Z3 package * z3: don't assume python is installed * [z3] attempt to fix build failure due to path truncation patch already upstreamed * [z3] add support for static build * [z3] Fail preemptively on UWP 
* add Z3 package

* z3: don't assume python is installed

* [z3] attempt to fix build failure due to path truncation
patch already upstreamed

* [z3] add support for static build

* [z3] Fail preemptively on UWP