Known vulnerabilities in Canonical Ltd. coq-extructures (Ubuntu package) 0.4.0-4build7

0.5.0-1build9 0.5.0-1build8 0.5.0-1build7 0.5.0-1build6 0.5.0-1build5 0.5.0-1build4 0.5.0-1build3 0.5.0-1build2 0.5.0-1build1 0.5.0-1 0.4.0-4build7 0.4.0-4build6 0.4.0-4build5 0.4.0-4build4 0.4.0-4build3 0.4.0-4build2 0.4.0-4build1 0.4.0-4 0.4.0-3build5 0.4.0-3build4 0.4.0-3build3 0.4.0-3build2 0.4.0-3build1 0.4.0-2 0.4.0-3 0.4.0-1build5 0.4.0-1build4 0.4.0-1build3 0.4.0-1build2 0.4.0-1build1 0.4.0-1 0.3.1-4build4 0.3.1-4build3 0.3.1-4build2 0.3.1-4build1 0.3.1-4 0.3.1-3build3 0.3.1-3build2 0.3.1-3build1 0.3.1-3 0.3.1-2build3 0.3.1-2build2 0.3.1-2build1 0.3.1-2 0.3.1-1