Known vulnerabilities in libz3-dev (Debian package) 4.8.12-3.2

4.4.0-1 4.4.0-2 4.4.0-2+b1 4.4.0-3 4.4.0-3+b1 4.4.0-4 4.4.0-5 4.4.1-0.1 4.4.1-0.2 4.4.1-0.3 4.4.1-0.3+b1 4.4.1-0.4~deb9u1 4.4.1-0.4 4.4.1-0.5~exp1 4.4.1-1 4.8.4-1 4.8.6-1 4.8.6-2 4.8.6-2+b1 4.8.6-2+b2 4.8.6-2+b3 4.8.6-2+hurd.1 4.8.7-1 4.8.7-2 4.8.7-3 4.8.8-1+b1 4.8.8-1+b2 4.8.12-1 4.8.12-1+b1 4.8.12-1+b2 4.8.12-3 4.8.12-3+0.riscv64.1 4.8.12-3.1 4.8.12-3.1+b1 4.8.12-3.1+b2 4.8.12-3.1+b3 4.8.12-3.2 4.13.3-1 4.8.10-1 4.8.9-1 4.8.8-1 4.8.7-4 4.4.1-1~deb10u1 4.4.1-1~deb9u1