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