diff options
| author | Mikhaylov Anton <anion155@gmail.com> | 2020-02-04 13:40:15 +0500 |
|---|---|---|
| committer | Mikhaylov Anton <anion155@gmail.com> | 2020-02-04 13:40:15 +0500 |
| commit | d56ed7ee7613e969a3f304b3377438cc5a9064d4 (patch) | |
| tree | d352eee837443f070bbf5d6c5fdd9a6f22f4f8c2 /ports/z3 | |
| parent | ab5b74c797f5a2bd6b28915908355e2b32876dfa (diff) | |
| parent | 85bf9d9d792e379e973d66c8af9f39d65d1d6d42 (diff) | |
| download | vcpkg-d56ed7ee7613e969a3f304b3377438cc5a9064d4.tar.gz vcpkg-d56ed7ee7613e969a3f304b3377438cc5a9064d4.zip | |
Merge branch 'master' into patch-1
Diffstat (limited to 'ports/z3')
| -rw-r--r-- | ports/z3/CONTROL | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ports/z3/CONTROL b/ports/z3/CONTROL index be11a9d7c..866f2cf5f 100644 --- a/ports/z3/CONTROL +++ b/ports/z3/CONTROL @@ -1,4 +1,5 @@ Source: z3 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 +Description: Z3 is a theorem prover from Microsoft Research. +Supports: !arm64 && !uwp |