Known vulnerabilities in Canonical Ltd. coq-hott (Ubuntu package) 8.18-1

9.0-1build2 9.0-1build1 9.0-1 8.20-1build3 8.20-1build2 8.20-1build1 8.20-1 8.19-2build3 8.19-2build2 8.19-2build1 8.19-2 8.19-1build3 8.19-1build2 8.19-1build1 8.19-1 8.18-3build4 8.18-3build3 8.18-3build2 8.18-3build1 8.18-2 8.18-3 8.18-1build2 8.18-1build1 8.18-1 8.17-1build1 8.17-1 8.16-2build2 8.16-2build1 8.16-2 8.16-1build3 8.16-1build2 8.16-1build1 8.16-1 8.15-4 8.15-3 8.15-1 8.15-2