Known vulnerabilities in Debian cbmc (Debian package) 4.2-5

5.12 4.1-1+b1 4.9-3+b1 5.1-1+b1 5.3-1+b1 5.12-1 5.12-2 5.12-3 5.12-4 5.12-5 5.10 5.6 4.9 5.10-5.1 5.10-5 5.10-1 5.10-2 5.10-3 5.10-4 5.1-1~bpo8+1 5.9-1 5.9-2 5.9-3 5.9-4 5.9-5 5.9-6 5.3-1 5.4-1 5.4-2 5.4-3 5.5-1 5.6-1 4.9-5 5.0-1 5.0-2 5.0-3 5.1-1 5.1-2 5.2-1 5.2-1~bpo8+1 4.2-1 4.2-2 4.2-3 4.2-4 4.2-5 4.2-6 4.3-1 4.3-2 4.3-3 4.3-4 4.3-5 4.3-6 4.4-1 4.4-2 4.5-1 4.5-2 4.7-1 4.7-2 4.9-1 4.9-2 4.9-3 4.9-4 3.9+r41-1 3.9+r41-2 3.9+r41-3 4.0-1 4.0-2 4.0-3 4.0-4 4.1-1 4.1-1.1 4.1-1.2