Known vulnerabilities in Debian agda-bin (Debian package) 2.4.0.2-1

2.6.1-1+b2 2.6.1-1+b1 2.6.1-1 2.2.6-1+b1 2.3.0.1-1+b1 2.3.2-1 2.3.2-1+b1 2.3.2-1+b2 2.3.2-2 2.3.2-3 2.3.2-4 2.3.2-4+b1 2.3.2.1-1 2.3.2.1-1+b1 2.3.2.1-2 2.3.2.2-1 2.3.2.2-1+b1 2.3.2.2-1+b2 2.3.2.2-1+b3 2.4.0.2-1 2.4.0.2-1+b1 2.4.0.2-2 2.4.2.2-2 2.4.2.2-2+b1 2.4.2.2-2+b2 2.4.2.2-3 2.4.2.2-4 2.4.2.2-4+b1 2.4.2.5-1 2.4.2.5-1+b1 2.4.2.5-1+b2 2.5.1-1 2.5.1-2 2.5.1-2+b1 2.5.1-2+b2 2.5.1-2+b3 2.5.1-2+b4 2.5.1.1-2 2.5.1.1-3 2.5.1.1-3+b1 2.5.1.1-3+b2 2.5.1.1-4 2.5.2-2 2.5.2-2+b1 2.5.3-2 2.5.3-3 2.5.3-3+b1 2.5.3-3+b2 2.5.3-5 2.5.3-5+b1 2.5.3-5+b2 2.5.4.1-3 2.5.4.1-3+b2 2.5.4.1-3+b3 2.6.0.1-1 2.6.0.1-1+b1 2.6.0.1-1+b2 2.5.4.1-3+b1 2.5.1.1-3+b3 2.4.0.2-2+b1 2.2.4-1 2.2.6-1 2.2.8-1 2.2.10-1 2.2.10-2 2.3.0-1 2.3.0.1-1