Known vulnerabilities in Debian agda (Debian package) 2.5.2-2

2.6.1 2.6.1-1 2.6.0.1 2.5.4.1 2.5.1.1 2.4.0.2 2.6.0.1-1 2.5.4.1-3 2.5.4.1-1 2.5.4.1-2 2.2.6-7 2.5.3-5 2.5.3-4 2.5.3-3 2.5.3-2 2.5.3-1 2.5.1.1-4 2.5.2-1 2.5.2-2 2.5.1.1-3 2.4.2-1 2.4.2.2-1 2.4.2.2-2 2.4.2.2-3 2.4.2.2-4 2.4.2.5-1 2.5.1-1 2.5.1-2 2.5.1.1-1 2.5.1.1-2 2.3.2-1 2.3.2-2 2.3.2-3 2.3.2-4 2.3.2.1-1 2.3.2.1-2 2.3.2.2-1 2.4.0.2-1 2.4.0.2-2 2.2.2-1 2.2.4+dfsg-1 2.2.6-1 2.2.6-2 2.2.6-3 2.2.6-4 2.2.6-5 2.2.6-6 2.2.8-1 2.2.10-1 2.2.10-2 2.2.10-3 2.2.10-4 2.3.0-1 2.3.0.1-1 2.3.0.1-2