Known vulnerabilities in flatzinc (Debian package) 4.0.0-2

6.2.0-5 3.7.0-1 3.7.1-1 3.7.1-2 3.7.1-3 3.7.2-1 3.7.3-1 4.0.0-1 4.0.0-2 4.2.0-1 4.2.1-1 4.2.1-1+powerpcspe1 4.4.0-1 4.4.0-2 4.4.0-3 4.4.0-3+b1 4.4.0-4 5.1.0-1 5.1.0-2 5.1.0-2+b1 6.0.0-1 6.0.0-2 6.0.0-2+b1 6.0.1-1 6.1.0-1 6.1.0-2+b1 6.1.0-2+b2 6.2.0-1 6.2.0-2 6.2.0-3 6.1.0-2 4.4.0-5 4.2.1-2