« List of all packages

z3

Opam page: https://opam.ocaml.org/packages/z3/

Versions

Version
z3.4.9.1 (latest)
z3.4.8.9-1
z3.4.8.8-1
z3.4.8.8
z3.4.8.7
z3.4.8.6
z3.4.8.5-1
z3.4.8.5
z3.4.8.4
z3.4.8.17
z3.4.8.14
z3.4.8.13
z3.4.8.11
z3.4.8.1
z3.4.7.1
z3.4.6
z3.4.15.2
z3.4.15.1
z3.4.14.1
z3.4.13.3
z3.4.13.2
z3.4.13.0-3
z3.4.13.0-2
z3.4.13.0-1
z3.4.13.0
z3.4.12.6
z3.4.12.5
z3.4.12.4
z3.4.12.3
z3.4.12.2-1
z3.4.12.2
z3.4.11.2
z3.4.11.0
z3.4.10.2
z3.4.10.1

Vulnerable external dependencies (8)

Product For package Vendor Severity CVE Published
llvm z3.4.15.1 n/a Medium CVE-2023-29942 5/5/2023
llvm z3.4.15.1 n/a Medium CVE-2023-29941 5/5/2023
llvm z3.4.15.1 n/a Medium CVE-2023-29939 5/5/2023
llvm z3.4.15.1 n/a Medium CVE-2023-29935 5/5/2023
llvm z3.4.15.1 n/a Medium CVE-2023-29934 5/5/2023
llvm z3.4.15.1 n/a Medium CVE-2023-29933 5/5/2023
llvm z3.4.15.1 n/a Medium CVE-2023-29932 5/5/2023
llvm z3.4.15.1 n/a Unknown CVE-2023-26924 3/27/2023