chausner 261103472f [z3] Update to 4.8.12 (#20348) ... * Update z3 to 4.8.12 * Update CI baseline * Change version-semver to version * Update git-tree hash * Update z3.json Co-authored-by: chausner <chausner@users.noreply.github.com>		2021-09-27 20:51:56 -07:00
..
z3.json	[z3] Update to 4.8.12 (#20348)	2021-09-27 20:51:56 -07:00
z85.json	Bulk convert control files. (#19986)	2021-09-09 01:24:04 -07:00
zeromq.json	[zeromq] Fix arm build, fix feature websockets-sha1 (#19074)	2021-07-26 11:07:10 -07:00
zfp.json	Bulk convert control files. (#19986)	2021-09-09 01:24:04 -07:00
zkpp.json	Bulk convert control files. (#19986)	2021-09-09 01:24:04 -07:00
zlib-ng.json	[zlib-ng] create a new port (#18223)	2021-06-10 16:13:36 -07:00
zlib.json	[zlib] Download source over https instead of http (#19842)	2021-09-03 00:03:38 -07:00
zookeeper.json	Bulk convert control files. (#19986)	2021-09-09 01:24:04 -07:00
zopfli.json	Bulk convert control files. (#19986)	2021-09-09 01:24:04 -07:00
zserge-webview.json	Bulk convert control files. (#19986)	2021-09-09 01:24:04 -07:00
zstd.json	[zstd] update to 1.5.0 (#18915)	2021-08-25 21:08:51 -07:00
zstr.json	Bulk convert control files. (#19986)	2021-09-09 01:24:04 -07:00
zug.json	[zug] Add port (#19539)	2021-08-18 17:14:24 -07:00
zxing-cpp.json	Bulk convert control files. (#19986)	2021-09-09 01:24:04 -07:00
zydis.json	Bulk convert control files. (#19986)	2021-09-09 01:24:04 -07:00
zyre.json	Bulk convert control files. (#19986)	2021-09-09 01:24:04 -07:00
zziplib.json	Bulk convert control files. (#19986)	2021-09-09 01:24:04 -07:00