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

8.20.0-1 8.19.1-1 8.17.1-1 8.16.1-1 8.16.0-1 8.16.0-2 8.15.2-3 8.15.2-2 8.15.2-1 8.15.1-1 8.15.0-2 8.15.0-1 8.20.0-2 8.19.1-2 8.18.0-1 8.15.0-3 8.6 8.4pl4 8.4pl2 8.3pl2 8.3pl2-1build1 8.0pl3+8.1alpha-1 8.0pl3+8.1alpha-2 8.0pl3+8.1beta.2-1 8.1~gamma-1 8.1~gamma-2 8.6-1 8.4pl4-2 6.3-1 6.3.1-1 6.3.1-2 7.2-1 8.0pl1-1 8.0pl1.0-1 8.1-1 8.1-2 8.1-3 8.2pl1-1 8.3pl2-1 8.3pl3-1 8.3pl4-1 8.4pl2-1 8.4pl4-1