]> git.proxmox.com Git - ceph.git/blob - ceph/src/jaegertracing/opentelemetry-cpp/tools/vcpkg/ports/z3/CONTROL
projects / ceph.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
blame | history | raw | HEAD
update ceph source to reef 18.1.2
[ceph.git] / ceph / src / jaegertracing / opentelemetry-cpp / tools / vcpkg / ports / z3 / CONTROL
1 Source: z3
2 Version: 4.8.9
3 Homepage: https://github.com/Z3Prover/z3
4 Description: Z3 is a theorem prover from Microsoft Research.
5 Supports: !arm64 && !uwp
Ceph