Known vulnerabilities in Canonical Ltd. coq-float (Ubuntu package) 1:8.10.0-1

1:8.10.0-1 1:8.9.0-1build1 1:8.9.0-1 8.10.0 8.10.0-1 8.4 8.4-5build1 8.4-3 8.2-1.2 8.2-1.2-9 1:8.4-5build3 1:8.4-5build2 1:8.4-5build1 1:8.4-5 2001-1 1:8.1-1.0-1 1:8.1-1.0-2 1:8.1-1.0-3 1:8.1-1.0-4 1:8.2-1.2-1 1:8.2-1.2-2 1:8.2-1.2-3 1:8.2-1.2-4 1:8.2-1.2-5 1:8.2-1.2-6 1:8.2-1.2-7 1:8.2-1.2-8 1:8.2-1.2-9 1:8.3pl1-1 1:8.3pl1-2 1:8.3pl1-3 1:8.3pl1-4 1:8.4-1 1:8.4-2 1:8.4-3 1:8.4-4