Known vulnerabilities in Canonical Ltd. coq-gappa (Ubuntu package) 1.5.2-5build2

1.7.0-1build1 1.7.0-1 1.6.0-1build4 1.6.0-1build3 1.6.0-1build2 1.6.0-1build1 1.6.0-1 1.5.5-2build3 1.5.5-2build2 1.5.5-2build1 1.5.5-2 1.5.5-1build3 1.5.5-1build2 1.5.5-1build1 1.5.5-1 1.5.4-1build3 1.5.4-1build2 1.5.4-1build1 1.5.4-1 1.5.3-1build4 1.5.3-1build3 1.5.3-1build2 1.5.3-1build1 1.5.3-1 1.5.2-5build2 1.5.2-5build1 1.5.2-5 1.5.2-4build2 1.5.2-4build1 1.5.2-4 1.5.2-1 1.5.2-2