Known vulnerabilities in Canonical Ltd. coq (Ubuntu package) 7.2-2

8.11.0-1build1 8.10.2-1 8.9.1-5ubuntu1 8.9.1-5build1 8.9.1-5 8.9.1-4 8.9.1-3 8.9.1-2 8.11.0 8.11.0-1 8.9.1 8.6 8.4pl4dfsg 8.4pl3dfsg 8.3.pl4+dfsg devt plugin theories 8.9.1-1 8.9.0-1build2 8.9.0-1build1 8.9.0-1 8.8.2-1 8.6-5build1 8.6-5 8.5~beta2+dfsg-1 8.5~beta2+dfsg-2 8.5~beta3+dfsg-1 8.5~beta3+dfsg-2 8.0pl3+8.1alpha-1 8.0pl3+8.1alpha-2 8.0pl3+8.1beta-1 8.0pl3+8.1beta.2-1 8.1~gamma-1 8.1~gamma-2 8.1~gamma-3 8.1~gamma-4 8.1+dfsg-1 8.1+dfsg-2 8.1+dfsg-3 8.1+dfsg-4 8.1+dfsg-5 8.1+dfsg-6 8.1.pl1+dfsg-1 8.1.pl1+dfsg-2 8.1.pl1+dfsg-3 8.1.pl2+dfsg-1 8.1.pl2+dfsg-2 8.1.pl2+dfsg-3 8.1.pl3+dfsg-1 8.2~beta4+dfsg-1 8.2~beta4+dfsg-2 8.2~rc2+dfsg-1 8.2~rc2+dfsg-2 8.2~rc2+dfsg-3 8.2-1+dfsg-1 8.2-1+dfsg-2 8.2.pl1+dfsg-1 8.2.pl1+dfsg-2 8.2.pl1+dfsg-3 8.2.pl1+dfsg-4 8.2.pl1+dfsg-5 8.2.pl1+dfsg-6 8.2.pl2+dfsg-1 8.2.pl2+dfsg-2 8.3.pl1+dfsg-1 8.3.pl1+dfsg-2 8.3.pl2+dfsg-1 8.3.pl2+dfsg-2 8.3.pl3+dfsg-1 8.3.pl3+dfsg-2 8.3.pl4+dfsg-1 8.3.pl4+dfsg-2 8.4~beta+dfsg-1 8.4~beta+dfsg-2 8.4~beta+dfsg-3 8.4~beta+dfsg-4 8.4~gamma0+really8.4beta2+dfsg-1 8.6-4build3 8.6-4build2 8.6-4build1 8.6-4 8.6-3 8.6-2 8.6-1 8.5-2build1 8.5-1 8.5-2 8.4pl4dfsg-2 8.4pl4dfsg-3 8.4pl4dfsg-3build1 8.4pl4dfsg-3build2 6.3.1-1 6.3.1-2 6.3.1-3 7.0-1 7.1-1 7.1-2 7.2-1 7.2-2 7.2-3 7.2-4 7.2-5 7.2-6 7.2-7 7.2-8 7.2-9 7.3-1 7.3.1-1 7.3.1-2 7.3.1-3 8.0pl1-1 8.0pl1-2 8.0pl1-3 8.0pl1-4 8.0pl1-5 8.0pl2-1 8.0pl2-2 8.0pl2-3 8.0pl2-4 8.0pl3-1 8.0pl3-2 8.4dfsg-1 8.4dfsg-2 8.4pl1dfsg-1 8.4pl2dfsg-1 8.4pl2dfsg-2 8.4pl2dfsg-3 8.4pl2dfsg-4 8.4pl3dfsg-1 8.4pl4dfsg-1