Known vulnerabilities in Canonical Ltd. coq-interval (Ubuntu package) 4.6.0-1build1

4.11.1-1build10 4.11.1-1build9 4.11.1-1build8 4.11.1-1build7 4.11.1-1build6 4.11.1-1build5 4.11.1-1build4 4.11.1-1build3 4.11.1-1build2 4.11.1-1build1 4.11.1-1 4.11.0-2build6 4.11.0-2build5 4.11.0-2build4 4.11.0-2build3 4.11.0-2build2 4.11.0-2build1 4.11.0-2 4.11.0-1build2 4.11.0-1build1 4.11.0-1 4.10.0-1build4 4.10.0-1build3 4.10.0-1build2 4.10.0-1build1 4.10.0-1 4.9.0-1build5 4.9.0-1build4 4.9.0-1build3 4.9.0-1build2 4.9.0-1build1 4.9.0-1 4.8.0-1build3 4.8.0-1build2 4.8.0-1build1 4.8.0-1 4.7.0-1build1 4.7.0-1 4.6.1-2build4 4.6.1-2build3 4.6.1-2build2 4.6.1-2build1 4.6.1-2 4.6.1-1build2 4.6.1-1build1 4.6.1-1 4.6.0-1build2 4.6.0-1build1 4.5.2-1 4.5.2-2 4.6.0-1 4.5.1-1 4.5.1-2